The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Cambridge Library Collection - Mathematics)
by George Boole
ISBN 13: 9781108001014
Format: Paperback (92 pages) Publisher: Cambridge University Press Published: 20 Jul 2009
Save for later
The Theory of Computation (Jones and Bartlett Books in Mathematics)
by Hein
ISBN 13: 9780867204971
Format: Hardcover (572 pages) Publisher: Jones and Bartlett Publishers, Inc Published: 01 Jan 1996
Organized Crime: Culture, Markets and Policies (Studies of Organized Crime)
by
ISBN 13: 9780387097107
Format: Paperback (230 pages) Publisher: Springer Published: 14 Aug 2008
Grammatical Inference: Learning Automata and Grammars
by N/A
ISBN 13: 9780521763165
Format: Hardcover (432 pages) Publisher: Cambridge University Press Published: 01 Apr 2010
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)
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
The Concept of Logical Consequence (The David Hume Series)
ISBN 13: 9781575861944
Format: Paperback (176 pages) Publisher: Cambridge University Press Published: 28 May 1999
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
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
ISBN 13: 9783540594369
Format: Hardcover (615 pages) Publisher: Springer Published: 19 Sep 2002
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