Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... Mathematics / Fondazione C.I.M.E., Firenze)
by Steven Homer,Anil Nerode,Richard A. Platek,Gerald E. Sacks,Andre Scedrov
ISBN 13: 9783540527343
Format: Paperback (162 pages) Publisher: Springer Published: 17 Jul 1990
Save for later
First Steps in Modal Logic
by Sally Popkorn
ISBN 13: 9780521057936
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 28 Jan 2008
Heegner Modules and Elliptic Curves (Lecture Notes in Mathematics)
by Martin L. Brown
ISBN 13: 9783540222903
Format: Paperback (517 pages) Publisher: Springer Published: 15 Jul 2004
Foundations of the Formal Sciences: Infinite Games v. 5
by
ISBN 13: 9781904987758
Format: Paperback (368 pages) Publisher: College Publications Published: 19 Dec 2007
We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2
by S Artemov,H. Barringer,A. S. d'Avila Garcez,L. C. Lamb,J. Woods
ISBN 13: 9781904987123
Format: Paperback (812 pages) Publisher: College Publications Published: 26 Oct 2005
Fixing Frege (Princeton Monographs in Philosophy)
by John P. Burgess
ISBN 13: 9780691122311
Format: Hardcover (272 pages) Publisher: Princeton University Press Published: 05 Jul 2005
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
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
Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)
by M. Jason Hinek, Douglas R. Stinson
ISBN 13: 9781420075182
Format: Hardcover (272 pages) Publisher: Chapman & Hall Published: 21 Jul 2009
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
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