Collected Works: Publications 1929-1936 (Collected Works of Kurt Godel)
by Kurt Godel,Solomon Feferman,John W. Dawson
ISBN 13: 9780195039641
Format: Illustrated (504 pages) Publisher: Oxford University Press Published: 01 Jan 1986
Save for later
A Set Theory Workbook
by Iain Adamson
ISBN 13: 9780817640286
Format: Paperback (164 pages) Publisher: Birkhäuser Published: 18 Dec 1997
Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ... 5605 (Lecture Notes in Computer Science)
by John-Jules Charles Meyer, Jan M. Broersen
ISBN 13: 9783642053009
Format: Paperback (161 pages) Publisher: Springer Published: 26 Oct 2009
Axiomatic Set Theory (Dover Books on Mathematics)
by Patrick Suppes
ISBN 13: 9780486616308
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 May 1973
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, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
by
ISBN 13: 9783540734475
Format: Paperback (419 pages) Publisher: Springer Published: 21 Jun 2007
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540735793
Format: Paperback (418 pages) Publisher: Springer Published: 04 Jul 2007
Machine Learning: ECML 2006: 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540453758
Format: Paperback (851 pages) Publisher: Springer Published: 19 Sep 2006
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540682356
Format: Paperback (436 pages) Publisher: Springer Published: 08 May 2008
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642041631
Format: Paperback (409 pages) Publisher: Springer Published: 28 Aug 2009