Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Save for later
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996
Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures: 5832 (Lecture Notes in Computer Science)
by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra
ISBN 13: 9783642046513
Format: Paperback (331 pages) Publisher: Springer Published: 23 Sep 2009
A Beginner's Guide to Graph Theory
by W.D. Wallis
ISBN 13: 9780817644840
Format: Paperback (280 pages) Publisher: Birkhauser Published: 04 Jul 2007
Advances in Case-Based Reasoning: 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings: 2416 (Lecture Notes in Computer Science)
by Susan Craw,Alun Preece
ISBN 13: 9783540441090
Format: Paperback (676 pages) Publisher: Springer Published: 21 Aug 2002
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4482 (Lecture Notes in Computer Science)
by Aijun An,Witold Pedrycz,Jerzy Stefanowski,Sheela Ramanna,Cory J. Butz
ISBN 13: 9783540725299
Format: Illustrated (604 pages) Publisher: Springer Published: 22 Feb 2009
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)
by N/A
ISBN 13: 9783642046384
Format: Paperback (367 pages) Publisher: Springer Published: 05 Oct 2009
Referential Opacity and Modal Logic (Studies in Philosophy)
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997
Category Theory (Oxford Logic Guides)
ISBN 13: 9780199237180
Format: Paperback (320 pages) Publisher: OUP Oxford Published: 17 Jun 2010
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))
ISBN 13: 9780195147209
Format: Paperback (504 pages) Publisher: OUP USA Published: 05 Jul 2001 Other Format: Illustrated
Constructivism in Mathematics: v. 2: An Introduction (Studies in Logic and the Foundations of Mathematics)
by A.S. Troelstra,D.van Dalen,D. Van Dalen
ISBN 13: 9780444703583
Format: Hardcover (586 pages) Publisher: Elsevier Science Ltd Published: 01 Nov 1988