Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics)
by Jaap van Oosten
ISBN 13: 9780444515841
Format: Hardcover (328 pages) Publisher: Elsevier Science Published: 06 Mar 2008
Save for later
The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)
by Arnold L. L. Rosenberg
ISBN 13: 9780387096384
Format: Paperback (344 pages) Publisher: Springer Published: 12 Nov 2009
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
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
A Course in Formal Languages, Automata and Groups (Universitext)
by Ian M. Chiswell
ISBN 13: 9781848009394
Format: Paperback (157 pages) Publisher: Springer Published: 06 Feb 2009
Development of Modern Logic
by Leila Haaparanta
ISBN 13: 9780195137316
Format: Hardcover (1006 pages) Publisher: OUP US Published: 01 Jun 2009
Conceptual Mathematics: A First Introduction to Categories
by F. William Lawvere
ISBN 13: 9780521719162
Format: Paperback (408 pages) Publisher: Cambridge University Press Published: 26 Oct 2011
Logical Labyrinths
by Raymond Smullyan
ISBN 13: 9781568814438
Format: Hardcover (275 pages) Publisher: A K Peters/CRC Press Published: 30 Nov 2008
Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)
by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge
ISBN 13: 9789089640260
Format: Paperback (240 pages) Publisher: Amsterdam University Press Published: 01 Jul 2008