Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
by Chin-Liang Chang,Richard Char-Tung Lee
ISBN 13: 9780121703509
Format: Illustrated (331 pages) Publisher: Academic Press Published: 15 Jun 1973
Save for later
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
by Patrick Blackburn
ISBN 13: 9780521527149
Format: Illustrated (578 pages) Publisher: Cambridge University Press Published: 22 Aug 2002
Experimental Number Theory (Oxford Graduate Texts in Mathematics): 13
by Fernando Rodriguez Villegas
ISBN 13: 9780199227303
Format: Paperback (230 pages) Publisher: Oxford University Press, USA Published: 24 May 2007
Converging Realities: Toward a Common Philosophy of Physics and Mathematics
by Roland Omnès
ISBN 13: 9780691115306
Format: Hardcover (284 pages) Publisher: Princeton University Press Published: 29 Nov 2004
Studying Mathematics and its Applications: 33 (Macmillan Study Skills)
by Peter Kahn
ISBN 13: 9780333922798
Format: Paperback (212 pages) Publisher: Palgrave Published: 31 Oct 2001
Descartes's Changing Mind
by Peter Machamer,J. E. McGuire
ISBN 13: 9780691138893
Format: Hardcover (272 pages) Publisher: Princeton University Press Published: 06 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
Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521694841
Format: Paperback (350 pages) Publisher: Cambridge University Press Published: 22 May 2008
Intellectual Trespassing as a Way of Life: Essays in Philosophy, Economics and Mathematics (Worldly Philosophy)
by David P. Ellerman
ISBN 13: 9780847679324
Format: Paperback (290 pages) Publisher: Rowman & Littlefield Published: 28 Jan 1994
Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521709088
Format: Paperback (444 pages) Publisher: Cambridge University Press Published: 22 May 2008
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)
by Akihiro Kanamori
ISBN 13: 9783540888666
Format: Paperback (536 pages) Publisher: Springer Published: 28 Nov 2008