General Proof Theory: Introduction
| Autor: | Piecha, Thomas, Schroeder-Heister, Peter |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2019 Feb 01. 107(1), 1-5. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Piecha, Thomas, Schroeder-Heister, Peter |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2019 Feb 01. 107(1), 1-5. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
Full text from SpringerLink