- 5 resultaten
laagste prijs: € 125,08, hoogste prijs: € 240,28, gemiddelde prijs: € 179,87
1
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
bestellen
bij ZVAB.com
€ 181,89
verzending: € 12,991
bestellen
Details aangeboden
Gesponsorde link
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek

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… Meer...

NEW BOOK. Verzendingskosten: EUR 12.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
2
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
bestellen
bij ZVAB.com
€ 181,89
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek

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… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
3
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - Sommaruga, Giovanni
bestellen
bij amazon.co.uk
£ 106,89
(ongeveer € 125,08)
verzending: € 5,621
bestellen
Details aangeboden
Gesponsorde link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - gebonden uitgave, pocketboek

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… Meer...

Gebraucht, wie neu. Verzendingskosten: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
dichtslaan (X)
4
bestellen
bij AbeBooks.fr
€ 240,28
verzending: € 10,341
bestellen
Details aangeboden
Gesponsorde link
Sommaruga Giovanni:
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek

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. Verzendingskosten: EUR 10.34 Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)]
dichtslaan (X)
5
bestellen
bij alibris.co.uk
€ 170,19
bestellen
Details en verzending
Gesponsorde link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek

2000, ISBN: 9780792361800

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

Verzendingskosten:exclusief verzendingskosten Sparks, NV, Alibris
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
auteur:
Titel:
ISBN:

9780792361800


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.

Gedetalleerde informatie over het boek. - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Gebonden uitgave
pocket book
Verschijningsjaar: 2000
Uitgever: Springer
388 Bladzijden
Gewicht: 0,742 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-01-25T13:58:33+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-06-15T23:58:58+02:00 (Amsterdam)
ISBN/EAN: 9780792361800

ISBN - alternatieve schrijfwijzen:
0-7923-6180-6, 978-0-7923-6180-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: sommaruga giovanni, martin löf
Titel van het boek: synthese, philosophy history, history and theory, constructive type theory, just type

Gegevens van de uitgever

Auteur: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory
Uitgeverij: Springer; Springer Netherland
367 Bladzijden
Verschijningsjaar: 2000-07-31
Dordrecht; NL
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
X, 367 p.

BB; 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; BC

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.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)

< naar Archief...