. .
English
United States
Similar books
More/other books that might be very similar to this book
Search tools
Sign in
Share this book on...
Book recommendations
Latest news
Tip from find-more-books.com
Advertising
FILTER
- 0 Results
Lowest price: 151.95 €, highest price: 347.68 €, average price: 251.59 €
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
book is out-of-stock
(*)
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - hardcover

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

New book Booklooker.de
buecher.de GmbH & Co. KG
Shipping costs:Versandkostenfrei (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
book is out-of-stock
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - hardcover

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

New book Amazon.ca
more_for_u
, Neuware Shipping costs:Usually ships within 1 - 2 business days, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
book is out-of-stock
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - hardcover

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

Used Book Amazon.ca
calibris
Gebraucht Shipping costs:Usually ships within 1 - 2 business days, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) - Giovanni Sommaruga
book is out-of-stock
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) - hardcover

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

Used Book Biblio.com
Ergodebooks
Shipping costs: EUR 14.02
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
book is out-of-stock
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - hardcover

ISBN: 9780792361800

ID: 9780792361800

hardback, [PU: Kluwer Academic Publishers]

New book Blackwell.co.uk
Blackwells.co.uk
in stock Shipping costs:Usually dispatched within 7 days (EUR 2.79)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
History and Philosophy of Constructive Type Theory
Author:

Sommaruga, Giovanni

Title:

History and Philosophy of Constructive Type Theory

ISBN:

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.

Details of the book - History and Philosophy of Constructive Type Theory


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Hardcover
Paperback
Publishing year: 2000
Publisher: Springer-Verlag GmbH
388 Pages
Weight: 0,742 kg
Language: eng/Englisch

Book in our database since 25.01.2007 13:58:33
Book found last time on 21.01.2017 21:58:34
ISBN/EAN: 0792361806

ISBN - alternate spelling:
0-7923-6180-6, 978-0-7923-6180-0


< to archive...
Related books