Buy Used and New Mathematical Logic Books

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540633983

Format: Paperback (425 pages)
Publisher: Springer
Published: 13 Aug 1997

Save for later

The Moment of Proof: Mathematical Epiphanies

by Donald C. Benson

ISBN 13: 9780195139198

Format: Paperback (352 pages)
Publisher: OUP USA
Published: 05 Apr 2001

Save for later

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)

by

ISBN 13: 9783540517221

Format: Paperback (350 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540514985

Format: Paperback (504 pages)
Publisher: Springer
Published: 31 Jul 1989

Save for later

MICAI 2008: Advances in Artificial Intelligence: 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540886358

Format: Paperback (1034 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings: 5th Internatonal ... Computer Science and General Issues)

by

ISBN 13: 9783540857617

Format: Paperback (455 pages)
Publisher: Springer
Published: 18 Aug 2008

Save for later

Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540729174

Format: Paperback (830 pages)
Publisher: Springer
Published: 05 Jun 2007

Save for later

Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540749691

Format: Paperback (890 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540330950

Format: Paperback (355 pages)
Publisher: Springer
Published: 16 Mar 2006

Save for later

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540412854

Format: Paperback (487 pages)
Publisher: Springer
Published: 23 Oct 2000

Save for later