| Titolo: |
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: |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| |
03-XX - Mathematical logic and foundations [MSC 2020] |
| |
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| |
03F03 - Proof theory, general (including proof-theoretic semantics) [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.: | VAN00114365 |
|
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico |
http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Opac: |
Controlla la disponibilità qui |
