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
Save for later
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
by Yoav Shoham,Kevin Leyton-Brown
ISBN 13: 9780521899437
Format: Illustrated (504 pages) Publisher: Cambridge University Press Published: 15 Dec 2008
Weaving Self-Evidence: A Sociology of Logic: 13 (Princeton Studies in Cultural Sociology)
by Claude Rosental,Catherine Porter
ISBN 13: 9780691139401
Format: Paperback (310 pages) Publisher: Princeton University Press Published: 14 Apr 2015
Handbook of Fourier Analysis & Its Applications
by Robert J. II Marks
ISBN 13: 9780195335927
Format: Illustrated (800 pages) Publisher: Oxford University Press Published: 22 Jan 2009
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
Handbook of Algebra,4: Volume 4
by M. Hazewinkel
ISBN 13: 9780444522139
Format: Illustrated (250 pages) Publisher: Elsevier Published: 30 May 2006
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
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
Philosophy of Mathematics, Second Edition: A Contemporary Introduction to the World of Proofs and Pictures (Routledge Contemporary Introductions to Philosophy)
by James Robert Brown
ISBN 13: 9780415960472
Format: Illustrated (264 pages) Publisher: Routledge Published: 31 Mar 2008 Other Format: Illustrated
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
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
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