Scan barcode
442 pages • missing pub info (editions)
ISBN/UID: 9780444520777
Format: Hardcover
Language: English
Publisher: Elsevier Science
Publication date: Not specified
Description
But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms This book give an introduction to parts of proof...
Community Reviews
Content Warnings
442 pages • missing pub info (editions)
ISBN/UID: 9780444520777
Format: Hardcover
Language: English
Publisher: Elsevier Science
Publication date: Not specified
Description
But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms This book give an introduction to parts of proof...