Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486284620
Format: Paperback (272 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
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
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
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
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
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
Mathematical Logic
by Joseph R. Shoenfield
ISBN 13: 9781568811352
Format: Paperback (352 pages) Publisher: Routledge Published: 01 Jan 2001
Development of Modern Logic
by Leila Haaparanta
ISBN 13: 9780195137316
Format: Hardcover (1006 pages) Publisher: OUP US Published: 01 Jun 2009
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
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
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008