Boek
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:
Aantal recensies:
Aantal keer getipt:
Aantal keer gelezen:
Auteur(s):
Categorie:
ISBN
9780792352624
Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Recensies van Truth, Proof and Infinity door Peter Fletcher
Er zijn nog geen recensies voor dit boek.
Ideeënbus
