Book
Truth, Proof and Infinity
This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting Arithmetic and constructive analysis are given. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780792352624
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Truth, Proof and Infinity by Peter Fletcher
Truth, Proof and Infinity has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
Idea box
