Buy Used and New Mathematical Logic Books

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)

by Manfred Droste,Werner Kuich,Heiko Vogler

ISBN 13: 9783642014918

Format: Illustrated (628 pages)
Publisher: Springer
Published: 28 Sep 2009

Save for later

Diamond: A Paradox Logic (2Nd Edition): Volume 23 (Series on Knots & Everything)

by Nathaniel S Hellerstein

ISBN 13: 9789814287135

Format: Illustrated (312 pages)
Publisher: Wspc
Published: 26 Jan 2010

Save for later

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)

by Shawn Hedman

ISBN 13: 9780198529811

Format: Illustrated (452 pages)
Publisher: OUP Oxford
Published: 08 Jul 2004

Save for later

Logical Foundations of Proof Complexity (Perspectives in Logic)

by Stephen Cook,Phuong Nguyen

ISBN 13: 9780521517294

Format: Illustrated (496 pages)
Publisher: Cambridge University Press
Published: 25 Jan 2010

Save for later

Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

by Wilfrid Hodges

ISBN 13: 9780521066365

Format: Illustrated (788 pages)
Publisher: Cambridge University Press
Published: 19 Jun 2008

Save for later

First-order Logic (Dover Books on MaTHEMA 1.4tics)

by Raymond M. Smullyan

ISBN 13: 9780486683706

Format: Paperback (176 pages)
Publisher: Dover Publications Inc
Published: 01 Apr 1995

Save for later

Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)

by John Harris,Jeffry L. Hirst,Michael Mossinghoff

ISBN 13: 9780387797106

Format: Illustrated (396 pages)
Publisher: Springer
Published: 04 Nov 2008

Save for later

Theoretical and Experimental DNA Computation (Natural Computing Series)

by Martyn Amos

ISBN 13: 9783540657736

Format: Hardcover (186 pages)
Publisher: Springer
Published: 23 Jun 2005

Save for later

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

by Yoav Shoham,Kevin Leyton-Brown

ISBN 13: 9780521899437

Format: Illustrated (504 pages)
Publisher: Cambridge University Press
Published: 15 Dec 2008

Save for later

Weaving Self-Evidence: A Sociology of Logic: 13 (Princeton Studies in Cultural Sociology)

by Claude Rosental,Catherine Porter

ISBN 13: 9780691139401

Format: Paperback (310 pages)
Publisher: Princeton University Press
Published: 14 Apr 2015

Save for later

To Mock a Mockingbird

by Raymond Smullyan

ISBN 13: 9780192801425

Format: Paperback (256 pages)
Publisher: Oxford University Press
Published: 30 Nov 2000

Save for later

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley,Jonathan P. Seldin

ISBN 13: 9780521898850

Format: Illustrated (358 pages)
Publisher: Cambridge University Press
Published: 24 Jul 2008

Save for later