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...
| Contributors: | ; |
|---|---|
| Format: | Electronic Book |
| Language: | English |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Cham Heidelberg New York Dordrecht London
Springer Open
2016
|
| In: | Year: 2016 |
| Edition: | 1st ed. 2016 |
| Series/Journal: | Trends in Logic, Studia Logica Library
43 Springer eBook Collection SpringerLink Bücher |
| Further subjects: | B
Logic, Symbolic and mathematical
B Computer Science B Mathematical logic B Machine theory B Logic B Philosophy |
| Online Access: |
Cover Inhaltstext (Verlag) Volltext (kostenfrei) |
| Parallel Edition: | Non-electronic
|