. .
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
Paid advertisement
FILTER
- 0 Results
Lowest price: 208.60 €, highest price: 270.45 €, average price: 241.16 €
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
book is out-of-stock
(*)
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - used book

1995, ISBN: 9780792361800

ID: 9780792361800

A comprehensive survey of Martin-Lwf's constructive type theory, consi derable parts of which have only been presented by Martin-Lwf in lectu re form or as part of conference talks. Sommaruga surveys the prehisto ry of type theory and its highly complex development through eight dif ferent stages from 1970 to 1995. He also provides a systematic present ation of the latest version of the theory, as offered by Martin-Lwf at Leiden University in Fall 1993. This presentation gives a fuller and A comprehensive survey of Martin-Lwf's constructive type theory, consi derable parts of which have only been presented by Martin-Lwf in lectu re form or as part of conference talks. Sommaruga surveys the prehisto ry of type theory and its highly complex development through eight dif ferent stages from 1970 to 1995. He also provides a systematic present ation of the latest version of the theory, as offered by Martin-Lwf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no ac count of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an en tire part of the book. Textbooks New, Books~~Philosophy~~Logic, History-and-Philosophy-of-Constructive-Type-Theory~~Giovanni-Sommaruga, 999999999, History and Philosophy of Constructive Type Theory, Giovanni Sommaruga, 0792361806, Springer Netherlands, , , , , Springer Netherlands

Used Book Barnesandnoble.com
MPN: , SKU 9780792361800 Shipping costs:zzgl. Versandkosten, 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 - new book

ISBN: 9780792361800

ID: 978079236180

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. Giovanni Sommaruga, Books, Religion and Spirituality, History And Philosophy Of Constructive Type Theory Books>Religion and Spirituality, Springer Netherlands

New book Indigo.ca
new Free shipping on orders above $25 Shipping costs:zzgl. Versandkosten, 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) - Sommaruga, Giovanni
book is out-of-stock
(*)
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory (Synthese Library) - hardcover

ISBN: 0792361806

ID: 19214187169

[EAN: 9780792361800], Neubuch, [PU: Springer], Mathematics|History & Philosophy, Mathematics|Logic, Philosophy|Logic, 0792361806 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!

New book Abebooks.de
Movie Mars, Indian Trail, NC, U.S.A. [54444390] [Rating: 4 (von 5)]
NEW BOOK Shipping costs: EUR 8.53
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 - Paperback

7, ISBN: 9780792361800

ID: 13329569823

Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from US in 4 to 14 days (standard) 3 to 8 days (expedited). Established seller since 2000., [PU: Kluwer Academic Publishers]

New book Alibris.com
Paperbackshop International
Shipping costs: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

2000, ISBN: 9780792361800

ID: 3040767

Hardcover, Buch, [PU: Kluwer Academic Publishers]

New book Lehmanns.de
Shipping costs:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

< to search results...
Details of the book
History and Philosophy of Constructive Type Theory
Author:

Sommaruga, Giovanni

Title:

History and Philosophy of Constructive Type Theory

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.

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 02.06.2016 00:33:35
ISBN/EAN: 9780792361800

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

< to search results...
< to archive...
Nearby books