Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
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, 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, 2013
ISBN 10: 9400736398ISBN 13: 9789400736399
Seller: dsmbooks, Liverpool, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.
Published by Springer, 2013
ISBN 10: 9400736398ISBN 13: 9789400736399
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. multilingual edition. 220 pages. German language. 9.00x6.00x0.50 inches. In Stock.