Studies in Proof Theory - Vol 1 (Hardback)
  • Studies in Proof Theory - Vol 1 (Hardback)
zoom

Studies in Proof Theory - Vol 1 (Hardback)

(author)
£91.50
Hardback 504 Pages / Published: 22/10/1990
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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
ISBN: 9780444987150
Number of pages: 504

You may also be interested in...

Naive Set Theory
Added to basket
£8.95
Paperback
Logic
Added to basket
£10.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
Sets, Logic and Categories
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Modern Logic
Added to basket
£77.99
Paperback
Set Theory
Added to basket
£14.50
Paperback
Proof Theory
Added to basket
£17.99
Paperback
Godel's Proof
Added to basket
£9.99
Paperback
The Foundations of Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.