Available in (3 languages)
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
2002Springer Netherlands
Sources:
German National Library
CC0ISBN 9789401599344With the ISBN, any bookshop or library can order it for you.
Where can I find it?
Zenòdot doesn't sell books and earns no commission: links are direct searches. We cannot guarantee availability or prices.
An introduction to mathematical logic and type theory
2011Springer Netherlands
Sources:
·KB, National Library of the Netherlands
Open public catalogueOpen Library
CC0ISBN 9789401599344With the ISBN, any bookshop or library can order it for you.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
2011Springer Netherlands
Sources:
·crossref
Open public catalogue·KB, National Library of the Netherlands
Open public catalogueOpen Library
CC0ISBN 9789048160792With the ISBN, any bookshop or library can order it for you.
An introduction to mathematical logic and type theory
2002Kluwer Academic Publishers
Sources:
·KB, National Library of the Netherlands
Open public catalogue·Library of Congress
Public domain·National Library of France
Source : Bibliothèque nationale de France — data.bnf.fr (Licence Ouverte / Open Licence 2.0)Data retrieved on 9/6/2026Open Library
CC0ISBN 9781402007637With the ISBN, any bookshop or library can order it for you.
An introduction to mathematical logic and type theory
1986Academic Press
Sources:
·HathiTrust
Open public catalogue·Library of Congress
Public domain·National Library Service of Italy (SBN)
Open public catalogue·Open Library
CC0Union Catalogue of Catalan Universities (CCUC)
Open public catalogueISBN 9780120585359With the ISBN, any bookshop or library can order it for you.
An introduction to mathematical logic and type theory
1986Academic Press
Sources:
·HathiTrust
Open public catalogue·Library of Congress
Public domain·National Library Service of Italy (SBN)
Open public catalogue·Open Library
CC0Union Catalogue of Catalan Universities (CCUC)
Open public catalogueISBN 9780120585366With the ISBN, any bookshop or library can order it for you.
Showing 5 of 20
Where can I find it?
Zenòdot doesn't sell books and earns no commission: links are direct searches. We cannot guarantee availability or prices.
Sûri ronrigaku to taipu riron
1987
Sources:
UNESCO Index Translationum
1 edition with unresolved language
23 editions documented in total
Can't find it in your language?
We keep adding new sources all the time. Pick up to 5 languages and we'll search them in depth right now, without leaving this page.