Buy Used and New Mathematical Logic Books

A Beginner's Guide to Graph Theory

by W.D. Wallis

ISBN 13: 9780817644840

Format: Paperback (280 pages)
Publisher: Birkhauser
Published: 04 Jul 2007

Save for later

Institution-independent Model Theory (Studies in Universal Logic)

by Razvan Diaconescu

ISBN 13: 9783764387075

Format: Paperback (387 pages)
Publisher: Birkhauser
Published: 16 May 2008

Save for later

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International ... Computer Science and General Issues)

by

ISBN 13: 9783540789123

Format: Paperback (397 pages)
Publisher: Springer
Published: 28 Mar 2008

Save for later

Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)

by Thom Frühwirth,Slim Abdennadher

ISBN 13: 9783540606703

Format: Paperback (176 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)

by

ISBN 13: 9783540787907

Format: Paperback (307 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Transactions on Computational Systems Biology VII: v. 7 (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)

by

ISBN 13: 9783540488378

Format: Paperback (192 pages)
Publisher: Springer
Published: 13 Nov 2006

Save for later

Fundamentals of Mathematical Logic

by Peter G. Hinman

ISBN 13: 9781568812625

Format: Hardcover (896 pages)
Publisher: A K Peters/CRC Press
Published: 09 Sep 2005

Save for later

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540746089

Format: Paperback (470 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540488156

Format: Paperback (386 pages)
Publisher: Springer
Published: 30 Oct 2006

Save for later

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540727873

Format: Paperback (384 pages)
Publisher: Springer
Published: 18 May 2007

Save for later

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540442745

Format: Paperback (655 pages)
Publisher: Springer
Published: 25 Sep 2002

Save for later

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540710691

Format: Paperback (556 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later