. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 151,95 €, größter Preis: 347,68 €, Mittelwert: 251,59 €
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - gebunden oder broschiert

ISBN: 9780792361800

[ED: Hardcover], [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 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. emReadership:/em 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. x, 367 S. X, 367 p. 234 mm Versandfertig in 3-5 Tagen, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - gebunden oder broschiert

ISBN: 0792361806

Hardcover, [EAN: 9780792361800], Springer, Springer, Book, [PU: Springer], Springer, 952174, Pure Mathematics, 952206, Fractals, 952204, Predicate & Propositional Calculus, 952134, Mathematics, 952050, Professional Science, 950756, Professional & Technical, 927726, Subjects, 916520, Books, 956484, Logic, 956454, Pure Mathematics, 956414, Mathematics, 956280, Science & Math, 927726, Subjects, 916520, Books, 930084, Ethics & Morality, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930098, Logic & Language, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930128, Phenomenology, 930118, Movements, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books

Neues Buch Amazon.ca
more_for_u
, Neuware Versandkosten:Usually ships within 1 - 2 business days, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - gebunden oder broschiert

ISBN: 0792361806

Hardcover, [EAN: 9780792361800], Springer, Springer, Book, [PU: Springer], Springer, 952174, Pure Mathematics, 952206, Fractals, 952204, Predicate & Propositional Calculus, 952134, Mathematics, 952050, Professional Science, 950756, Professional & Technical, 927726, Subjects, 916520, Books, 956484, Logic, 956454, Pure Mathematics, 956414, Mathematics, 956280, Science & Math, 927726, Subjects, 916520, Books, 930084, Ethics & Morality, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930098, Logic & Language, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930128, Phenomenology, 930118, Movements, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books

gebrauchtes bzw. antiquarisches Buch Amazon.ca
calibris
Gebraucht Versandkosten:Usually ships within 1 - 2 business days, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) - gebunden oder broschiert

2000, ISBN: 9780792361800

ID: 585390668

Springer, 2000-02-01. 2000. Hardcover. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Springer, 2000-02-01

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 14.02
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - gebunden oder broschiert

ISBN: 9780792361800

ID: 9780792361800

hardback, [PU: Kluwer Academic Publishers]

Neues Buch Blackwell.co.uk
Blackwells.co.uk
in stock Versandkosten:Usually dispatched within 7 days (EUR 2.79)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
History and Philosophy of Constructive Type Theory
Autor:

Sommaruga, Giovanni

Titel:

History and Philosophy of Constructive Type Theory

ISBN-Nummer:

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.

Detailangaben zum Buch - History and Philosophy of Constructive Type Theory


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

Buch in der Datenbank seit 25.01.2007 13:58:33
Buch zuletzt gefunden am 21.01.2017 21:58:34
ISBN/EAN: 0792361806

ISBN - alternative Schreibweisen:
0-7923-6180-6, 978-0-7923-6180-0

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher