Standort: ---
Exemplare:
---
| |  Online-Ressource |
|---|
| Verfasst von: | Mancosu, Paolo [VerfasserIn]  |
|---|
| | Galvan, Sergio [VerfasserIn] |
|---|
| | Zach, Richard [VerfasserIn] |
|---|
| Titel: | An introduction to proof theory |
|---|
| Titelzusatz: | normalization, cut-elimination, and consistency proofs |
|---|
| Verf.angabe: | Paolo Mancosu, Sergio Galvan, Richard Zach |
|---|
| Ausgabe: | First edition |
|---|
| Verlagsort: | Oxford |
|---|
| Verlag: | Oxford University Press |
|---|
| Jahr: | 2021 |
|---|
| Umfang: | 1 Online-Ressource (xii, 418 Seiten) |
|---|
| Fussnoten: | Description based on publisher supplied metadata and other sources |
|---|
| ISBN: | 978-0-19-264929-4 |
|---|
| Abstract: | An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. |
|---|
| URL: | Aggregator: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=6685757 |
|---|
| Datenträger: | Online-Ressource |
|---|
| Sprache: | eng |
|---|
| Bibliogr. Hinweis: | Erscheint auch als : Druck-Ausgabe |
|---|
| Sach-SW: | Electronic books |
|---|
| K10plus-PPN: | 1769931198 |
|---|
| |
|
|---|
| | |
|---|
| Lokale URL UB: |  Zum Volltext |
|---|
978-0-19-264929-4
¬An¬ introduction to proof theory / Mancosu, Paolo [VerfasserIn]; 2021 (Online-Ressource)
68778466
