Buy Used and New Mathematical Logic Books

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

by Hunter

ISBN 13: 9780520023567

Format: Paperback (302 pages)
Publisher: University of California Press
Published: 01 Jul 1992

Save for later

First Steps in Modal Logic

by Sally Popkorn

ISBN 13: 9780521057936

Format: Paperback (332 pages)
Publisher: Cambridge University Press
Published: 28 Jan 2008

Save for later

Foundations of the Formal Sciences: Infinite Games v. 5

by

ISBN 13: 9781904987758

Format: Paperback (368 pages)
Publisher: College Publications
Published: 19 Dec 2007

Save for later

We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2

by S Artemov,H. Barringer,A. S. d'Avila Garcez,L. C. Lamb,J. Woods

ISBN 13: 9781904987123

Format: Paperback (812 pages)
Publisher: College Publications
Published: 26 Oct 2005

Save for later

Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)

by

ISBN 13: 9781420059816

Format: Hardcover (631 pages)
Publisher: Chapman and Hall/CRC
Published: 09 Aug 2010

Save for later

Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II: Pt. 2 (Lecture Notes in Computer Science / Transactions on Rough Sets)

by

ISBN 13: 9783540716624

Format: Paperback (381 pages)
Publisher: Springer
Published: 17 Apr 2007

Save for later

Organized Crime: Culture, Markets and Policies (Studies of Organized Crime)

by

ISBN 13: 9780387097107

Format: Paperback (230 pages)
Publisher: Springer
Published: 14 Aug 2008

Save for later

Logic for Computer Scientists (Modern Birkhäuser Classics)

by Uwe Schöning

ISBN 13: 9780817647629

Format: Paperback (166 pages)
Publisher: Birkhauser
Published: 25 Jan 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

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

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540559306

Format: Paperback (324 pages)
Publisher: Springer
Published: 25 Aug 1992

Save for later