You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
170 pages • missing pub info (view editions)
ISBN/UID: 9783662694824
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Freg...
Community Reviews
Content Warnings
170 pages • missing pub info (view editions)
ISBN/UID: 9783662694824
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Freg...
Community Reviews
Content Warnings