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
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
Analysis: An Introduction
by Richard Beals
ISBN 13: 9780521600477
Format: Paperback (272 pages) Publisher: Cambridge University Press Published: 13 Sep 2004
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9780857291202
Format: Paperback (203 pages) Publisher: Springer Published: 14 Jan 2011
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers (Communications in Computer and Information Science)
by Joaquim Filipe, Mohammad S. Obaidat
ISBN 13: 9783642051968
Format: Paperback (482 pages) Publisher: Springer Published: 28 Oct 2009
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009