Advances in Proof-Theoretic Semantics
Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof t...
| 其他作者: | ; |
|---|---|
| 格式: | 电子 图书 |
| 语言: | English |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| 出版: |
Cham Heidelberg New York Dordrecht London
Springer Open
2016
|
| In: | Year: 2016 |
| 版: | 1st ed. 2016 |
| 丛编: | Trends in Logic, Studia Logica Library
43 Springer eBook Collection SpringerLink Bücher |
| Further subjects: | B
Logic, Symbolic and mathematical
B Computer Science B Machine theory B Mathematical logic B Logic B Philosophy |
| 在线阅读: |
Cover Inhaltstext (Verlag) Volltext (kostenfrei) |
| Parallel Edition: | Non-electronic
|