Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)
by Dov M Gabbay,M. Finger,M. Reynolds
ISBN 13: 9780198537687
Format: Hardcover (597 pages) Publisher: OUP Oxford Published: 30 Mar 2000
Save for later
Arithmetic of Quadratic Forms (Springer Monographs in Mathematics)
by Goro Shimura
ISBN 13: 9781441917317
Format: Hardcover (240 pages) Publisher: Springer Published: 01 Jul 2010
Coding Theory and Algebraic Geometry: Proceedings of the International Workshop held in Luminy, France, June 17-21, 1991 (Lecture Notes in Mathematics)
by
ISBN 13: 9783540556510
Format: Perfect Paperback (223 pages) Publisher: Springer Published: 05 Aug 1992
Introduction to Coding Theory (Graduate Texts in Mathematics)
by J.H. van Lint
ISBN 13: 9783540641339
Format: Hardcover (227 pages) Publisher: Springer Published: 15 Dec 1998
Modular Functions and Dirichlet Series in Number Theory: v. 41 (Graduate Texts in Mathematics)
by Tom M. Apostol
ISBN 13: 9780387971278
Format: Hardcover (224 pages) Publisher: Springer Published: 01 Dec 1989
Notes on Set Theory (Undergraduate Texts in Mathematics)
by Yiannis Moschovakis
ISBN 13: 9780387287232
Format: Paperback (284 pages) Publisher: Springer Published: 21 Dec 2005
Number Theory: Volume I: Tools and Diophantine Equations: Tools and Diophantine Equations v. 1 (Graduate Texts in Mathematics)
by Henri Cohen
ISBN 13: 9780387499222
Format: Hardcover (650 pages) Publisher: Springer Published: 18 Jun 2007
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
Mathematics and Common Sense: A Case of Creative Tension
by Philip J. Davis
ISBN 13: 9781568812700
Format: Hardcover (242 pages) Publisher: A K Peters Published: 20 Sep 2006
A Framework for Priority Arguments (Lecture Notes in Logic)
by Manuel Lerman
ISBN 13: 9780521119696
Format: Hardcover (176 pages) Publisher: Cambridge University Press Published: 19 Apr 2010
Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521604154
Format: Paperback (298 pages) Publisher: Cambridge University Press Published: 25 Apr 2005
Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008