- 5 resultaten
laagste prijs: € 134,99, hoogste prijs: € 212,64, gemiddelde prijs: € 183,92
1
bestellen
bij booklooker.de
€ 134,99
verzending: € 0,001
bestellenGesponsorde link
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - pocketboek

2010, ISBN: 9789048154036

gebonden uitgave

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

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
bestellen
bij Indigo.ca
C$ 288,50
(ongeveer € 200,89)
bestellenGesponsorde link
History and Philosophy of Constructive Type Theory - nieuw boek

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

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
bestellen
bij Indigo.ca
C$ 312,50
(ongeveer € 212,64)
bestellenGesponsorde link
History and Philosophy of Constructive Type Theory - nieuw boek

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

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
4
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
bestellen
bij Achtung-Buecher.de
€ 189,07
verzending: € 0,001
bestellenGesponsorde link
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - pocketboek

2010, ISBN: 9048154030

gebonden uitgave

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

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
bestellen
bij Hugendubel.de
€ 181,99
verzending: € 0,001
bestellenGesponsorde link
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - pocketboek

2000, ISBN: 9048154030

gebonden uitgave

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

Nr. 13445135. Verzendingskosten:, , DE. (EUR 0.00)

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

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.

Gedetalleerde informatie over het boek. - History and Philosophy of Constructive Type Theory


EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands
380 Bladzijden
Gewicht: 0,573 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2010-09-14T03:13:55+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-10-27T17:08:42+02:00 (Amsterdam)
ISBN/EAN: 9789048154036

ISBN - alternatieve schrijfwijzen:
90-481-5403-0, 978-90-481-5403-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: giovanni sommaruga
Titel van het boek: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory


Gegevens van de uitgever

Auteur: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory
Uitgeverij: Springer; Springer Netherland
367 Bladzijden
Verschijningsjaar: 2010-12-07
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
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.

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