Buy Used and New Mathematical Logic Books

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, ... Computer Science and General Issues)

by

ISBN 13: 9783540770497

Format: Paperback (558 pages)
Publisher: Springer
Published: 22 Nov 2007

Save for later

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540734437

Format: Paperback (363 pages)
Publisher: Springer
Published: 15 Jun 2007

Save for later