- 5 Results
Lowest price: € 125.08, highest price: € 240.28, average price: € 179.87
1
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Order
at ZVAB.com
€ 181.89
Shipment: € 12.991
OrderSponsored link
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - hardcover

2000, ISBN: 0792361806

[EAN: 9780792361800], Neubuch, [SC: 12.99], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PRESENT; PREHISTORY, Druck auf Anfrage Neuware - A comp… More...

NEW BOOK. Shipping costs: EUR 12.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Order
at ZVAB.com
€ 181.89
Shipment: € 0.001
OrderSponsored link

Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - hardcover

2000, ISBN: 0792361806

[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - Sommaruga, Giovanni
Order
at amazon.co.uk
£ 106.89
(aprox. € 125.08)
Shipment: € 5.621
OrderSponsored link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - hardcover

2000

ISBN: 9780792361800

Springer, Hardcover, Auflage: 2000, 377 Seiten, Publiziert: 2000-07-31T00:00:01Z, Produktgruppe: Book, 1.55 kg, Books Global Store, Special Features, Books, Historiography, Historical Stu… More...

Gebraucht, wie neu. Shipping costs:Usually dispatched within 13 to 14 days. Les coûts d'expédition peuvent différer des coûts réels. (EUR 5.62) BOOKS etc
4
Order
at AbeBooks.fr
€ 240.28
Shipment: € 10.341
OrderSponsored link
Sommaruga Giovanni:
History and Philosophy of Constructive Type Theory - hardcover

2000, ISBN: 0792361806

[EAN: 9780792361800], Nouveau livre, [SC: 10.34], [PU: Springer], Print on Demand pp. 388 54:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Blue Cloth w/Jacket on White w/Gloss Lam, Books

NEW BOOK. Shipping costs: EUR 10.34 Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)]
5
Order
at alibris.co.uk
€ 170.19
OrderSponsored link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - hardcover

2000, ISBN: 9780792361800

Hard cover, New., Sewn binding. Cloth over boards. With dust jacket. 367 p. Synthese Library, 290., Dordrecht, [PU: Springer]

Shipping costs:plus shipping costs Sparks, NV, Alibris

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: 290 (Synthese Library, 290)

A comprehensive survey of Martin-LAf's constructive type theory, considerable parts of which have only been presented by Martin-LAf 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-LAf 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: 290 (Synthese Library, 290)


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Hardcover
Paperback
Publishing year: 2000
Publisher: Springer
388 Pages
Weight: 0,742 kg
Language: eng/Englisch

Book in our database since 2007-01-25T07:58:33-05:00 (New York)
Detail page last modified on 2023-06-15T17:58:58-04:00 (New York)
ISBN/EAN: 9780792361800

ISBN - alternate spelling:
0-7923-6180-6, 978-0-7923-6180-0
Alternate spelling and related search-keywords:
Book author: sommaruga giovanni, martin löf
Book title: synthese, philosophy history, history and theory, constructive type theory, just type


Information from Publisher

Author: Giovanni Sommaruga
Title: Synthese Library; History and Philosophy of Constructive Type Theory
Publisher: Springer; Springer Netherland
367 Pages
Publishing year: 2000-07-31
Dordrecht; NL
Weight: 1,550 kg
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 367 p.

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

Preface. 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...