Logic in Elementary Mathematics
by Robert M. Exner,Myron F. Rosskopf
ISBN 13: 9780486482217
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 16 Jun 2011
Save for later
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
by Richard W. Kaye
ISBN 13: 9780521708777
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 12 Jul 2007
Grammatical Inference: Learning Automata and Grammars
by N/A
ISBN 13: 9780521763165
Format: Hardcover (432 pages) Publisher: Cambridge University Press Published: 01 Apr 2010
Building Models by Games
by Wilfrid Hodges
ISBN 13: 9780486450179
Format: Paperback (336 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles
by
ISBN 13: 9783642136054
Format: Hardcover (343 pages) Publisher: Springer Published: 09 Oct 2010
The Language of Machines: Introduction to Computability and Formal Languages
by Robert W. Floyd,Richard Beigel
ISBN 13: 9780716782667
Format: Hardcover (706 pages) Publisher: W.H.Freeman & Co Ltd Published: 27 Jan 1994
Decision Modeling and Behavior in Complex and Uncertain Environments (Springer Optimization and Its Applications)
ISBN 13: 9780387771304
Format: Hardcover (376 pages) Publisher: Springer Published: 22 Aug 2008
Advanced Parallel Processing Technologies: 6th International Workshop, APPT 2005, Hong kong, China, October 27-28, 2005, Proceedings: 5th ... 4002 (Lecture Notes in Computer Science)
by Ming Xu,Jiannong Cao,Wolfgang Nejdl
ISBN 13: 9783540354673
Format: Paperback (544 pages) Publisher: Springer Published: 07 Dec 2006
Basic Model Theory (Studies in Logic Language and Information)
by Kees Doets
ISBN 13: 9781575860480
Format: Paperback (600 pages) Publisher: Cambridge University Press Published: 13 Jun 1996
Additive Cellular Automata Vol 1: Theory and Applications (Practitioners)
by Parimal Pal Chaudhuri
ISBN 13: 9780818677175
Format: Illustrated (368 pages) Publisher: John Wiley & Sons Published: 27 Jun 1997
Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)
by Jan Krajíek
ISBN 13: 9780521154338
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 23 Dec 2010
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540893295
Format: Paperback (343 pages) Publisher: Springer Published: 14 Nov 2008