Buy Used and New Mathematical Logic Books

Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / . . ... incl. Internet/Web, and HCI): 5070

by Malgorzata Marciniak

ISBN 13: 9783642047343

Format: Paperback (464 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)

by Gheorghe Paun

ISBN 13: 9783642114663

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

Save for later

Perspectives in Computation (Chicago Lectures in Physics)

by Robert Geroch

ISBN 13: 9780226288550

Format: Paperback (206 pages)
Publisher: University of Chicago Press
Published: 18 Sep 2009

Save for later

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

by Patrick Blackburn

ISBN 13: 9780521527149

Format: Illustrated (578 pages)
Publisher: Cambridge University Press
Published: 22 Aug 2002

Save for later

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)

by Anupam Datta

ISBN 13: 9783642106217

Format: Paperback (159 pages)
Publisher: Springer
Published: 24 Nov 2009

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