Del 137 i serien Studies in Logic and the Foundations of Mathematics
Handbook of Proof Theory
Inbunden, Engelska, 1998
2 209 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.
The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
Produktinformation
- Utgivningsdatum1998-07-09
- Mått156 x 234 x 44 mm
- Vikt1 410 g
- FormatInbunden
- SpråkEngelska
- SerieStudies in Logic and the Foundations of Mathematics
- Antal sidor810
- FörlagElsevier Science
- ISBN9780444898401
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 142
Del 144
Del 143
Del 145
Del 146
Del 148
Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay
Inbunden, 2003
3 099 kr
Del 141
Del 147
Del 152
Del 153
Quantification in Nonclassical Logic
Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
Inbunden, 2009
2 829 kr
Hoppa över listan
Du kanske också är intresserad av
Del 9
Del 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Inbunden, 2007
2 679 kr
Del 144
- Nyhet
Del 3
Del 123
Del 142
- Nyhet
Del 11