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
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
Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)
by Ross Street
ISBN 13: 9780521695244
Format: Illustrated (160 pages) Publisher: Cambridge University Press Published: 18 Jan 2007
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
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521881289
Format: Hardcover (342 pages) Publisher: Cambridge University Press Published: 14 Jan 2008 Other Format: Illustrated
The Green Book of Mathematical Problems (Dover Books on Mathematics)
by Kenneth Hardy
ISBN 13: 9780486695730
Format: Paperback (184 pages) Publisher: Dover Publications Inc. Published: 21 Jul 1997
Collected Works: Publications 1929-1936 (Collected Works of Kurt Godel)
by Kurt Godel,Solomon Feferman,John W. Dawson
ISBN 13: 9780195039641
Format: Illustrated (504 pages) Publisher: Oxford University Press Published: 01 Jan 1986
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783540926863
Format: Paperback (469 pages) Publisher: Springer Published: 18 Dec 2008
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I: Cabal Seminar v. 1 (Lecture Notes in Logic)
by Alexander S. Kechris, Benedikt Löwe, John R. Steel
ISBN 13: 9780521899512
Format: Hardcover (460 pages) Publisher: Cambridge University Press Published: 15 Sep 2008