Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics): 7
by Peter Bürgisser
ISBN 13: 9783540667520
Format: Illustrated (186 pages) Publisher: Springer Published: 21 Jun 2000
Save for later
Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
First-order Logic (Dover Books on MaTHEMA 1.4tics)
by Raymond M. Smullyan
ISBN 13: 9780486683706
Format: Paperback (176 pages) Publisher: Dover Publications Inc Published: 01 Apr 1995
Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)
by John Harris,Jeffry L. Hirst,Michael Mossinghoff
ISBN 13: 9780387797106
Format: Illustrated (396 pages) Publisher: Springer Published: 04 Nov 2008
Theoretical and Experimental DNA Computation (Natural Computing Series)
by Martyn Amos
ISBN 13: 9783540657736
Format: Hardcover (186 pages) Publisher: Springer Published: 23 Jun 2005
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
To Mock a Mockingbird
by Raymond Smullyan
ISBN 13: 9780192801425
Format: Paperback (256 pages) Publisher: Oxford University Press Published: 30 Nov 2000
Lambda-Calculus and Combinators: An Introduction
by J. Roger Hindley,Jonathan P. Seldin
ISBN 13: 9780521898850
Format: Illustrated (358 pages) Publisher: Cambridge University Press Published: 24 Jul 2008
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
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