Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer Netherlands Jun 2011, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 212 pp. Englisch, Deutsch.
Published by Springer Netherlands Aug 2013, 2013
ISBN 10: 9400736398ISBN 13: 9789400736399
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 212 pp. Englisch, Deutsch.
Published by Springer Netherlands, 2013
ISBN 10: 9400736398ISBN 13: 9789400736399
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The author was a PhD student of Per Martin-Loef, the inventor of intuitionistic type theory, and has unique insights in the field. There are many interesting connections between philosophy, logic, and computer science.A new and pedagogical t.
Published by Springer Netherlands, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The author was a PhD student of Per Martin-Loef, the inventor of intuitionistic type theory, and has unique insights in the field. There are many interesting connections between philosophy, logic, and computer science.A new and pedagogical t.
Published by Springer Netherlands, 2013
ISBN 10: 9400736398ISBN 13: 9789400736399
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. 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.
Published by Springer Netherlands, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Buch. Condition: Neu. 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.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Hardcover. Condition: Like New. Like New. book.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2013
ISBN 10: 9400736398ISBN 13: 9789400736399
Seller: dsmbooks, Liverpool, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Book
Hardcover. Condition: new. New. Fast Shipping and good customer service.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: Front Cover Books, Denver, CO, U.S.A.
Book
Condition: new.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: Wizard Books, Long Beach, CA, U.S.A.
Book
Hardcover. Condition: new. New.
Published by Springer, 2011
ISBN 10: 9400717350ISBN 13: 9789400717350
Seller: GoldenDragon, Houston, TX, U.S.A.
Book
Hardcover. Condition: new. Buy for Great customer experience.