ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover
[Bayonne, NJ, U.S.A.] [Publication Year: 2011]
Show/Hide image

ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover New Copy. Customer Service Guaranteed
[Denver, CO, 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]

ISBN10: 9400717350, ISBN13: 9789400717350, [publisher: Springer] Hardcover
[Miami, FL, U.S.A.] [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. 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] Hardcover
[Columbia, MD, U.S.A.] [Publication Year: 2011]
Show/Hide image

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]
Show/Hide image