Buy Used and New Mathematical Logic Books

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783642244308

Format: Paperback (261 pages)
Publisher: Springer
Published: 19 Sep 2011

Save for later

Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)

by Gregory Cherlin, Ehud Hrushovski

ISBN 13: 9780691113326

Format: Paperback (200 pages)
Publisher: Princeton University Press
Published: 23 Dec 2002

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

Save for later

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

Save for later

Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)

by Ian Stewart

ISBN 13: 9780486458847

Format: Illustrated (208 pages)
Publisher: Dover Publications Inc
Published: 12 May 2007

Save for later

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

Save for later

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: paperback

Save for later

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)

by Manuel Carro,Ricardo Peña

ISBN 13: 9783642115028

Format: Illustrated (297 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus,J. Flum,W. Thomas

ISBN 13: 9780387942582

Format: Illustrated (308 pages)
Publisher: Springer
Published: 01 Dec 1996

Save for later

Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures: 5832 (Lecture Notes in Computer Science)

by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra

ISBN 13: 9783642046513

Format: Paperback (331 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Advances in Case-Based Reasoning: 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings: 2416 (Lecture Notes in Computer Science)

by Susan Craw,Alun Preece

ISBN 13: 9783540441090

Format: Paperback (676 pages)
Publisher: Springer
Published: 21 Aug 2002

Save for later