Buy Used and New Mathematical Logic Books

An Introduction to Probability and Inductive Logic

by Ian Hacking

ISBN 13: 9780521772877

Format: Hardcover (320 pages)
Publisher: Cambridge University Press
Published: 02 Jul 2001
Other Format: Paperback

Save for later

Aggregation Functions (Encyclopedia of Mathematics and its Applications)

by Michel Grabisch,Jean-Luc Marichal,Radko Mesiar,Endre Pap

ISBN 13: 9780521519267

Format: Hardcover (478 pages)
Publisher: Cambridge University Press
Published: 09 Jul 2009

Save for later

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton

ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

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

Isomorphisms Between H¹ Spaces (Monografie Matematyczne)

by Paul F.X. Müller

ISBN 13: 9783764324315

Format: Hardcover (453 pages)
Publisher: Birkhauser
Published: 20 Apr 2005

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

Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)

by

ISBN 13: 9780387692449

Format: Hardcover (384 pages)
Publisher: Springer
Published: 29 Mar 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

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