Buy Used and New Mathematical Logic Books

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann

ISBN 13: 9780521707572

Format: Illustrated (342 pages)
Publisher: Cambridge University Press
Published: 24 Apr 2008
Other Format: Hardcover

Save for later

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008
Other Format: Hardcover

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

Argumentation Schemes

by Douglas Walton, Christopher Reed, Fabrizio Macagno

ISBN 13: 9780521897907

Format: Hardcover (436 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Illustrated

Save for later

Logic for Mathematicians

by A. G. Hamilton

ISBN 13: 9780521368650

Format: Paperback (238 pages)
Publisher: Cambridge University Press
Published: 29 Sep 1988

Save for later

Godel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758168

Format: Hardcover (160 pages)
Publisher: NYU Press
Published: 31 Oct 2001
Other Format: Paperback

Save for later

Mathematical Logic

by Tourlakis

ISBN 13: 9780470280744

Format: Illustrated (312 pages)
Publisher: John Wiley & Sons
Published: 13 Aug 2008

Save for later

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns: 27 (Trends in Logic)

by Mihir Chakraborty, Piero Pagliani

ISBN 13: 9781402086212

Format: Hardcover (706 pages)
Publisher: Springer
Published: 24 Oct 2008

Save for later

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