Buy Used and New Mathematical Logic Books

Logica Universalis: Towards a General Theory of Logic

by

ISBN 13: 9783764383534

Format: Paperback (246 pages)
Publisher: Birkhauser
Published: 17 Apr 2007

Save for later

AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008 ... 5360 (Lecture Notes in Computer Science)

by Wayne Wobcke

ISBN 13: 9783540893776

Format: Paperback (632 pages)
Publisher: Springer
Published: 03 Dec 2008

Save for later

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later

Applied Logistic Regression Analysis (Quantitative Applications in the Social Sciences) (v. 106)

by Scott Menard

ISBN 13: 9780761922087

Format: Illustrated (128 pages)
Publisher: SAGE Publications, Inc
Published: 05 Dec 2001

Save for later

Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday: 5420 (Lecture Notes in Computer Science)

by Marina Lipshteyn,Vadim E. Levit,Ross McConnell

ISBN 13: 9783642020285

Format: Paperback (244 pages)
Publisher: Springer
Published: 20 Jul 2009

Save for later

Algorithmic Decision Theory: First International Conference, A.D.T. 2009, Venice, Italy, October 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5783

by Francesca Rossi

ISBN 13: 9783642044274

Format: Paperback (476 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5388

by Tom Schrijvers, Thom Frühwirth

ISBN 13: 9783540922421

Format: Paperback (245 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)

by Sten Lindström,Erik Palmgren,Krister Segerberg

ISBN 13: 9781402089251

Format: Illustrated (528 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28-July 2, 2009, Revised Selected Papers: 5874 (Lecture Notes in Computer Science)

by Jiri Fiala,Jan Kratochvil,Mirka Miller

ISBN 13: 9783642102165

Format: Paperback (496 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

Format: Illustrated (777 pages)
Publisher: Basic Books
Published: 15 Jan 1999
Other Format: Paperback

Save for later

Conceptual Mathematics: A First Introduction to Categories

by F. William Lawvere

ISBN 13: 9780521719162

Format: Paperback (408 pages)
Publisher: Cambridge University Press
Published: 26 Oct 2011

Save for later

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

by Sekharipuram S. Ravi, Sandeep K. Shukla

ISBN 13: 9781402096877

Format: Hardcover (518 pages)
Publisher: Springer
Published: 15 Apr 2009

Save for later