Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings: 5194 (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540859277
Format: Paperback (349 pages) Publisher: Springer Published: 05 Sep 2008
Save for later
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
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings: 8th Annual Conference, ... Computer Science and General Issues)
ISBN 13: 9783642208768
Format: Paperback (579 pages) Publisher: Springer Published: 03 May 2011
Axiom of Choice (Lecture Notes in Mathematics)
by Horst Herrlich
ISBN 13: 9783540309895
Format: Paperback (208 pages) Publisher: Springer Published: 11 May 2006
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002
The Incompleteness Phenomenon
by Martin Goldstern,Haim Judah
ISBN 13: 9781568810294
Format: Hardcover (218 pages) Publisher: A K Peters/CRC Press Published: 15 Jun 1995
Inconsistent Geometry
by Chris Mortensen
ISBN 13: 9781848900226
Format: Paperback (174 pages) Publisher: College Publications Published: 15 Oct 2010
Multi-Criteria Decision Making Methods: A Comparative Study (Applied Optimization)
by Evangelos Triantaphyllou
ISBN 13: 9781441948380
Format: Paperback (324 pages) Publisher: Springer Published: 08 Dec 2010
Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers: 14th International Conference, FG ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642201684
Format: Paperback (224 pages) Publisher: Springer Published: 06 Apr 2011