- 5 Results
Lowest price: € 134.99, highest price: € 212.64, average price: € 183.92
1
Order
at booklooker.de
€ 134.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - Paperback

2010, ISBN: 9789048154036

Hardcover

[ED: Softcover], [PU: Springer Netherlands], A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
close (x)
2
Order
at Indigo.ca
C$ 288.50
(aprox. € 200.89)
Order
Details & Shipping
Sponsored link
History and Philosophy of Constructive Type Theory - new book

ISBN: 9789048154036

A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
3
Order
at Indigo.ca
C$ 312.50
(aprox. € 212.64)
Order
Details & Shipping
Sponsored link
History and Philosophy of Constructive Type Theory - new book

ISBN: 9789048154036

A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
4
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
Order
at Achtung-Buecher.de
€ 189.07
Shipment: € 0.001
Order
Provider details
Sponsored link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - Paperback

2010, ISBN: 9048154030

Hardcover

Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
5
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Order
at Hugendubel.de
€ 181.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - Paperback

2000, ISBN: 9048154030

Hardcover

History and Philosophy of Constructive Type Theory ab 181.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2000. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > B… More...

Nr. 13445135. Shipping costs:, , DE. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
History and Philosophy of Constructive Type Theory
Author:
Title:
ISBN:

9789048154036


A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

Details of the book - History and Philosophy of Constructive Type Theory


EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer Netherlands
380 Pages
Weight: 0,573 kg
Language: eng/Englisch

Book in our database since 2010-09-13T21:13:55-04:00 (New York)
Detail page last modified on 2021-10-27T11:08:42-04:00 (New York)
ISBN/EAN: 9789048154036

ISBN - alternate spelling:
90-481-5403-0, 978-90-481-5403-6
Alternate spelling and related search-keywords:
Book author: giovanni sommaruga
Book title: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory

Information from Publisher

Author: Giovanni Sommaruga
Title: Synthese Library; History and Philosophy of Constructive Type Theory
Publisher: Springer; Springer Netherland
367 Pages
Publishing year: 2010-12-07
Dordrecht; NL
Printed / Made in
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 367 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Ethik und Moralphilosophie; Phänomenologie und Existenzphilosophie; Geschichte; Geschichtsschreibung, Historiographie; BB; EA

1. The Present Version of Constructive Type Theory (1995).- 2. Metatheoretical Considerations.- 3. History of Constructive Type Theory (1970–95).- 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970).- Conclusion.- References.

More/other books that might be very similar to this book

Latest similar book:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)

< to archive...