Mathematische Logik, kurzgefaßt.: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre
by Hans P. Tuschik,Helmut Wolter
ISBN 13: 9783827413871
Format: Paperback (224 pages) Publisher: Spektrum Akademischer Verlag Published: 31 Oct 2002
Save for later
Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)
by Abraham Robinson
ISBN 13: 9780691044903
Format: Paperback (308 pages) Publisher: Princeton University Press Published: 08 Jan 1996
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
by Henry Van Heigenoort
ISBN 13: 9780674324497
Format: Paperback (680 pages) Publisher: Harvard University Press Published: 01 Jul 1990
Constructivism in Mathematics: v. 2: An Introduction (Studies in Logic and the Foundations of Mathematics)
by A.S. Troelstra,D.van Dalen,D. Van Dalen
ISBN 13: 9780444703583
Format: Hardcover (586 pages) Publisher: Elsevier Science Ltd Published: 01 Nov 1988
Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521604154
Format: Paperback (298 pages) Publisher: Cambridge University Press Published: 25 Apr 2005
Zariski Geometries: Geometry from the Logician's Point of View: 360 (London Mathematical Society Lecture Note Series, Series Number 360)
by Boris Zilber
ISBN 13: 9780521735605
Format: Paperback (224 pages) Publisher: Cambridge University Press Published: 28 Feb 2010
Referential Opacity and Modal Logic (Studies in Philosophy)
by N/A
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997
Naturalism in Mathematics
ISBN 13: 9780198250753
Format: Paperback (264 pages) Publisher: Clarendon Press Published: 29 Jun 2000
Category Theory (Oxford Logic Guides)
ISBN 13: 9780199237180
Format: Paperback (320 pages) Publisher: OUP Oxford Published: 17 Jun 2010
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))
ISBN 13: 9780195147209
Format: Paperback (504 pages) Publisher: OUP USA Published: 05 Jul 2001
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)
by Thomas Eiter,Leonid Libkin
ISBN 13: 9783540242888
Format: Paperback (424 pages) Publisher: Springer Published: 16 Dec 2004