Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by
ISBN 13: 9783540733676
Format: Paperback (562 pages) Publisher: Springer Published: 02 Jul 2007
Save for later
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings: 5194 (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540859277
Format: Paperback (349 pages) Publisher: Springer Published: 05 Sep 2008
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
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
Analysis: An Introduction
by Richard Beals
ISBN 13: 9780521600477
Format: Paperback (272 pages) Publisher: Cambridge University Press Published: 13 Sep 2004
Computability In Context: Computation And Logic In The Real World
by Cooper S Barry et al
ISBN 13: 9781848162457
Format: Hardcover (420 pages) Publisher: Imperial College Press Published: 25 Apr 2011
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540894384
Format: Paperback (728 pages) Publisher: Springer Published: 13 Nov 2008
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
ISBN 13: 9789048124855
Format: Paperback (360 pages) Publisher: Springer Published: 12 Mar 2009
Logic, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
Optimization in Economic Theory
by Avinash K. Dixit
ISBN 13: 9780198772101
Format: Paperback (198 pages) Publisher: Oxford University Press Published: 13 Sep 1990
Essential Logic: Basic Reasoning Skills for the Twenty-First Century
by Ronald C. Pine
ISBN 13: 9780195155051
Format: Paperback (432 pages) Publisher: Oxford University Press, USA Published: 05 Oct 1995