Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Save for later
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
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
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
Sets of Multiples: 118 (Cambridge Tracts in Mathematics, Series Number 118)
by Richard R. Hall
ISBN 13: 9780521404242
Format: Hardcover (284 pages) Publisher: Cambridge University Press Published: 10 Oct 1996