Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)
by Robert Goldblatt
ISBN 13: 9780937073940
Format: Paperback (180 pages) Publisher: Cambridge University Press Published: 01 Jun 1992
Save for later
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise,Lawrence Moss
ISBN 13: 9781575860084
Format: Paperback (390 pages) Publisher: Cambridge University Press Published: 13 Jul 1996
The Law of Non-Contradiction: New Philosophical Essays
ISBN 13: 9780199204199
Format: Paperback (456 pages) Publisher: Clarendon Press Published: 30 Nov 2006
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)
by David M. Bressoud
ISBN 13: 9780521666466
Format: Paperback (274 pages) Publisher: Cambridge University Press Published: 13 Aug 1999
Computability Theory: An Introduction to Recursion Theory
by Herbert B. Enderton
ISBN 13: 9780123849588
Format: Hardcover (192 pages) Publisher: Academic Press Published: 30 Dec 2010
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
Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009