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
Save for later
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
Modules over Operads and Functors: 1967 (Lecture Notes in Mathematics)
by Benoit Fresse
ISBN 13: 9783540890553
Format: Illustrated (324 pages) Publisher: Springer Published: 27 Mar 2009
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
Logic for Applications (Texts in Computer Science)
by Anil Nerode,Richard A. Shore
ISBN 13: 9780387948935
Format: Illustrated (469 pages) Publisher: Springer Published: 01 Feb 1997
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science)
by Jean-Pierre Marquis
ISBN 13: 9781402093838
Format: Hardcover (320 pages) Publisher: Springer Published: 08 Jan 2009
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
Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, ... Computer Science and General Issues)
by
ISBN 13: 9783540709381
Format: Paperback (648 pages) Publisher: Springer Published: 07 Feb 2007
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
Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521604154
Format: Paperback (298 pages) Publisher: Cambridge University Press Published: 25 Apr 2005
Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Theory of Association Schemes (Springer Monographs in Mathematics)
by N/A
ISBN 13: 9783540261360
Format: Hardcover (283 pages) Publisher: Springer Published: 20 Oct 2005