- 5 Risultati
prezzo più basso: € 125,08, prezzo più alto: € 240,28, prezzo medio: € 179,87
1
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Ordina
da ZVAB.com
€ 181,89
Spedizione: € 12,991
Ordina
Dettagli del offerente
Link sponsorizzato
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - copertina rigida, flessible

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

NEW BOOK. Costi di spedizione: EUR 12.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Ordina
da ZVAB.com
€ 181,89
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - copertina rigida, flessible

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
3
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - Sommaruga, Giovanni
Ordina
da amazon.co.uk
£ 106,89
(indicativi € 125,08)
Spedizione: € 5,621
Ordina
Dettagli del offerente
Link sponsorizzato
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - copertina rigida, flessible

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

Gebraucht, wie neu. Costi di spedizione: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
Chiudere (X)
4
Ordina
da AbeBooks.fr
€ 240,28
Spedizione: € 10,341
Ordina
Dettagli del offerente
Link sponsorizzato
Sommaruga Giovanni:
History and Philosophy of Constructive Type Theory - copertina rigida, flessible

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. Costi di spedizione: EUR 10.34 Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)]
Chiudere (X)
5
Ordina
da alibris.co.uk
€ 170,19
Ordina
Dettagli & spedizione
Link sponsorizzato
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - copertina rigida, flessible

2000, ISBN: 9780792361800

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

Costi di spedizione:Costi di spedizione aggiuntivi Sparks, NV, Alibris
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
Autore:
Titolo:
ISBN:

0792361806


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.

Informazioni dettagliate del libro - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2000
Editore: Springer
388 Pagine
Peso: 0,742 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-01-25T13:58:33+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-06-15T23:58:58+02:00 (Zurich)
ISBN/EAN: 0792361806

ISBN - Stili di scrittura alternativi:
0-7923-6180-6, 978-0-7923-6180-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : sommaruga giovanni, martin löf
Titolo del libro: synthese, philosophy history, history and theory, constructive type theory, just type

Dati dell'editore

Autore: Giovanni Sommaruga
Titolo: Synthese Library; History and Philosophy of Constructive Type Theory
Editore: Springer; Springer Netherland
367 Pagine
Anno di pubblicazione: 2000-07-31
Dordrecht; NL
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)

< Per archiviare...