×

zbMATH — the first resource for mathematics

Advances in proof-theoretic semantics. (English) Zbl 1331.03009
Trends in Logic – Studia Logica Library 43. Cham: Springer (ISBN 978-3-319-22685-9/hbk; 978-3-319-22686-6/ebook). vi, 283 p. (2016).
The articles of this volume will be reviewed individually.

MSC:
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03F03 Proof theory, general (including proof-theoretic semantics)
03F07 Structure of proofs
03F55 Intuitionistic mathematics
03A05 Philosophical and critical aspects of logic and foundations
00B15 Collections of articles of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI