Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Save for later
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
Schaum's Outline of Logic, Second Edition (Schaum's Outline Series)
by John Nolt,Dennis Rohatyn,Achille Varzi
ISBN 13: 9780071755467
Format: Paperback (336 pages) Publisher: Schaum's Outlines Published: 01 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)
by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster
ISBN 13: 9780521149341
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 05 May 2011
The Colorado Mathematical Olympiad and Further Explorations: From the Mountains of Colorado to the Peaks of Mathematics: The First Twenty Years and Further Explorations
by Alexander Soifer
ISBN 13: 9780387754710
Format: Paperback (447 pages) Publisher: Springer Published: 11 Apr 2011
Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540692232
Format: Paperback (383 pages) Publisher: Springer Published: 15 Dec 2006
Chinese Spoken Language Processing: 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540496656
Format: Paperback (829 pages) Publisher: Springer Published: 27 Nov 2006
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540438656
Format: Paperback (343 pages) Publisher: Springer Published: 19 Jun 2002
Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540708438
Format: Paperback (289 pages) Publisher: Springer Published: 10 Jul 2008
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642119989
Format: Paperback (179 pages) Publisher: Springer Published: 01 Apr 2010
Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540290735
Format: Paperback (349 pages) Publisher: Springer Published: 11 Oct 2005