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

An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)

by Graham Priest

ISBN 13: 9780521670265

Format: Paperback (646 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2008

Save for later

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J. Roger Hindley

ISBN 13: 9780521465182

Format: Hardcover (200 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1997

Save for later

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers

ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

Save for later

The Logical Status of Diagrams

by Sun-Joo Shin

ISBN 13: 9780521461573

Format: Hardcover (212 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1995

Save for later

The Axiom of Choice (Dover Books on Mathematics)

by Thomas J Jech

ISBN 13: 9780486466248

Format: Illustrated (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800

by Kurt Jensen

ISBN 13: 9783642048548

Format: Paperback (296 pages)
Publisher: Springer
Published: 11 Nov 2009

Save for later

There's Something About Godel!: The Complete Guide to the Incompleteness Theorem

by Francesco Berto

ISBN 13: 9781405197670

Format: Paperback (254 pages)
Publisher: Wiley-Blackwell
Published: 06 Nov 2009
Other Format: Illustrated

Save for later

Fuzzy Mathematics: Approximation Theory (Studies in Fuzziness and Soft Computing)

by George A. Anastassiou

ISBN 13: 9783642112195

Format: Hardcover (456 pages)
Publisher: Springer
Published: 04 Feb 2010

Save for later