DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Watch the little things; a small leak will sink a great ship.
Dordrecht Springer 2011 Hard cover New. Text in German, English. 198 p. Logic, Epistemology, and the Unity of Science , 22. 8 Tables, black and white; XIV, 198 p. Intended for professional and scholarly audience.
ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer Netherlands] Hardcover Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. [Einbeck, Germany] [Publication Year: 2011]
ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer Netherlands] Hardcover Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. [Einbeck, Germany] [Publication Year: 2011]
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Treatise on Intuitionistic Type Theory. ISBN 9400717350 9789400717350 [GB]
Dordrecht Springer 2011 Hard cover New. Text in German, English. 212 p. Logic, Epistemology, and the Unity of Science , 22. 8 black & white tables, biography. Intended for professional and scholarly audience.
ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover New. Fast Shipping and good customer service [Fayetteville, TX, U.S.A.] [Publication Year: 2011]
ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover Buy for Great customer experience [Houston, TX, U.S.A.] [Publication Year: 2011]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.