The Frege Reader (Wiley Blackwell Readers)
by Michael Beaney
ISBN 13: 9780631194453
Format: Paperback (432 pages) Publisher: Wiley-Blackwell Published: 02 May 1997
Save for later
Foundations and Fundamental Concepts of Mathematics (Dover Books on MaTHEMA 1.4tics)
by Howard Eves
ISBN 13: 9780486696096
Format: Illustrated (368 pages) Publisher: Dover Publications Inc Published: 21 Sep 1997
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
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
by
ISBN 13: 9783540734475
Format: Paperback (419 pages) Publisher: Springer Published: 21 Jun 2007
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540735793
Format: Paperback (418 pages) Publisher: Springer Published: 04 Jul 2007
Machine Learning: ECML 2006: 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540453758
Format: Paperback (851 pages) Publisher: Springer Published: 19 Sep 2006
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540682356
Format: Paperback (436 pages) Publisher: Springer Published: 08 May 2008
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642041631
Format: Paperback (409 pages) Publisher: Springer Published: 28 Aug 2009
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540559306
Format: Paperback (324 pages) Publisher: Springer Published: 25 Aug 1992
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540377566
Format: Paperback (456 pages) Publisher: Springer Published: 17 Aug 2006