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

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

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

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

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

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

The q-theory of Finite Semigroups (Springer Monographs in Mathematics)

by John Rhodes,Benjamin Steinberg

ISBN 13: 9780387097800

Format: Illustrated (690 pages)
Publisher: Springer
Published: 27 Feb 2009

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

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

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

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