Studies in Proof Theory - Vol 1 (Hardback)J.-Y. Girard (author)
Hardback 504 Pages / Published: 22/10/1990
- Not available
This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam. This is the first of a two-part work covering the main ideas and techniques of proof theory. This volume is introductory, starting with Hilbert (whose second problem in the famous list of problems of 1900 was the consistency of number theory), describing Hilbert's program and its demise at the hands of Godel. It then proceeds with Gentzen's result (the Hauptsatz is the main result of Part I) and improvements and generalizations to omega-logic. Volume II will cover more advanced logics.
Publisher: Elsevier Science & Technology
Number of pages: 504
You may also be interested in...
£9.99Mixed media product
Please sign in to write a review
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at