Advances in proof-theoretic semantics / Thomas Piecha, Peter Schroeder-Heister editors

• Pubblicazione: Cham, : Springer Open, 2016
• Titolo uniforme: Advances in proof-theoretic semantics
• Descrizione fisica: VI, 283 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]; 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]; 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]; 03F07 - Structure of proofs [MSC 2020]; 03F55 - Intuitionistic mathematics [MSC 2020]
• Soggetto non controllato: Foundations of logic; General proof theory; Gentzen’s approach to meaning; Heyting’s approach to meaning; Logical constants; Proof Theory; Theory of constructions
• Persona (resp. second.): Piecha, Thomas; Schroeder-Heister, Peter
• Titolo autorizzato: Advances in proof-theoretic semantics
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0114365
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://dx.doi.org/10.1007/978-3-319-22686-6
• Serie: Trends in logic : studia logica library Berlin [etc.] . -Springer ; 43