Skip to main content
PBS logo
 
 

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
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: 9780521572231
ISBN-10: 0521572231
Publication Date: 9/13/1996
Pages: 355
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.