Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
Save for later
Mathematics for Technicians: v. 1 (TEC technician series/Technician Education Council)
by Frank L. Tabberer
ISBN 13: 9780408003261
Format: Paperback (192 pages) Publisher: Butterworth-Heinemann Published: 01 May 1978
The Axiom of Choice (Dover Books on Mathematics)
by Thomas J Jech
ISBN 13: 9780486466248
Format: Illustrated (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Logic in Elementary Mathematics
by Robert M. Exner,Myron F. Rosskopf
ISBN 13: 9780486482217
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 16 Jun 2011
Sets, Sequences and Mappings: The Basic Concepts of Analysis (Dover Books on Mathematics)
by Dr Kenneth Anderson,Dick Wick Hall
ISBN 13: 9780486474212
Format: Paperback (208 pages) Publisher: Dover Publications Inc. Published: 16 Oct 2009
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
by Richard W. Kaye
ISBN 13: 9780521708777
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 12 Jul 2007
Thinking Mathematically
by J. Mason,L. Burton,K. Stacey
ISBN 13: 9780273728917
Format: Paperback (264 pages) Publisher: Prentice Hall Published: 06 May 2010
Building Models by Games
by Wilfrid Hodges
ISBN 13: 9780486450179
Format: Paperback (336 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
Codes and Automata: 129 (Encyclopedia of Mathematics and its Applications, Series Number 129)
by Jean Berstel,Dominique Perrin,Christophe Reutenauer
ISBN 13: 9780521888318
Format: Illustrated (634 pages) Publisher: Cambridge University Press Published: 05 Nov 2009
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles
by
ISBN 13: 9783642136054
Format: Hardcover (343 pages) Publisher: Springer Published: 09 Oct 2010
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ... Computer Science and General Issues)
ISBN 13: 9783642027765
Format: Paperback (540 pages) Publisher: Springer Published: 19 Jun 2009