Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors
| Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2014 |
| Descrizione fisica | XVI, 279 p. : ill. ; 24 cm |
| Soggetto topico |
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03F07 - Structure of proofs [MSC 2020] |
| Soggetto non controllato |
Cut-Elimination
Gentzen systems Natural Deduction and Sequent Calculus Normalization Theorem Proof Theory Proof-Theoretic Semantics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0104358 |
| Dordrecht, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors
| Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2014 |
| Descrizione fisica | XVI, 279 p. : ill. ; 24 cm |
| Soggetto topico |
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03F07 - Structure of proofs [MSC 2020] |
| Soggetto non controllato |
Cut-Elimination
Gentzen systems Natural Deduction and Sequent Calculus Normalization Theorem Proof Theory Proof-Theoretic Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00104358 |
| Dordrecht, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors
| The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xxiv, 552 p. : ill. ; 24 cm |
| Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Classical Logic
Deductive logic History of logic Inferential Definitions Logical constants Mathematical logic Modalities Negation Non-classical logic Proof-Theoretic Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278190 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors
| The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xxiv, 552 p. : ill. ; 24 cm |
| Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Classical Logic
Deductive logic History of logic Inferential Definitions Logical constants Mathematical logic Modalities Negation Non-classical logic Proof-Theoretic Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278190 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||