- 5 Ergebnisse
Kleinster Preis: € 125,08, größter Preis: € 240,28, Mittelwert: € 179,87
1
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Bestellen
bei ZVAB.com
€ 181,89
Versand: € 12,991
Bestellengesponserter Link
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - gebunden oder broschiert

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… Mehr…

NEW BOOK. Versandkosten: EUR 12.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Bestellen
bei ZVAB.com
€ 181,89
Versand: € 0,001
Bestellengesponserter Link

Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - gebunden oder broschiert

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… Mehr…

NEW BOOK. Versandkosten: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
Bestellen
bei amazon.co.uk
£ 106,89
(ca. € 125,08)
Versand: € 5,621
Bestellengesponserter Link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - gebunden oder broschiert

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… Mehr…

Gebraucht, wie neu. Versandkosten: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
Bestellen
bei AbeBooks.fr
€ 240,28
Versand: € 10,341
Bestellengesponserter Link
Sommaruga Giovanni:
History and Philosophy of Constructive Type Theory - gebunden oder broschiert

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. Versandkosten: EUR 10.34 Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)]
5
Bestellen
bei alibris.co.uk
€ 170,19
Bestellengesponserter Link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - gebunden oder broschiert

2000, ISBN: 9780792361800

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

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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.

Detailangaben zum Buch - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer
388 Seiten
Gewicht: 0,742 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-01-25T13:58:33+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-06-15T23:58:58+02:00 (Berlin)
ISBN/EAN: 9780792361800

ISBN - alternative Schreibweisen:
0-7923-6180-6, 978-0-7923-6180-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sommaruga giovanni, martin löf
Titel des Buches: synthese, philosophy history, history and theory, constructive type theory, just type


Daten vom Verlag:

Autor/in: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory
Verlag: Springer; Springer Netherland
367 Seiten
Erscheinungsjahr: 2000-07-31
Dordrecht; NL
Gewicht: 1,550 kg
Sprache: Englisch
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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)


< zum Archiv...