Search - Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science
Author: A. S. Troelstra, H. Schwichtenberg, A. S. Troelstra
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; cat...  more »
ISBN-13: 9781417940271
ISBN-10: 1417940271
Publication Date: 9/13/1996
Pages: 355
Rating:
  ?

0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: