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
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
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
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
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
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
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008