Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
by Ulrich Kohlenbach
ISBN 13: 9783540775324
Format: Hardcover (556 pages) Publisher: Springer Published: 26 May 2008
Save for later
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)
by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg
ISBN 13: 9783642111976
Format: Paperback (273 pages) Publisher: Springer Published: 21 Dec 2009
Transactions on Rough Sets IX (Lecture Notes in Computer Science)
by James F. Peters, Andrzej Skowron, Henryk Rybinski
ISBN 13: 9783540898757
Format: Paperback (751 pages) Publisher: Springer Published: 18 Dec 2008
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
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
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, 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
Descartes' Error: Emotion, Reason, and the Human Brain
by Antonio R Damasio
ISBN 13: 9780143036227
Format: Illustrated (312 pages) Publisher: Penguin Group Published: 27 Sep 2005 Other Format: Hardcover, paperback
Knowledge and the Flow of Information (The David Hume Series)
by Fred I. Dretske
ISBN 13: 9781575861951
Format: Illustrated (288 pages) Publisher: The Center for the Study of Language and Information Publications Published: 28 May 1999
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4482 (Lecture Notes in Computer Science)
by Aijun An,Witold Pedrycz,Jerzy Stefanowski,Sheela Ramanna,Cory J. Butz
ISBN 13: 9783540725299
Format: Illustrated (604 pages) Publisher: Springer Published: 22 Feb 2009
Computability and Unsolvability (Dover Books on Computer Science)
by Martin Davis
ISBN 13: 9780486614717
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 Jun 1983