Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Save for later
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
by Bakhadyr Khoussainov,Anil Nerode
ISBN 13: 9780817642075
Format: Hardcover (430 pages) Publisher: Birkhauser Published: 01 Jul 2001
The Market Revolution: Jacksonian America 1815-1846: Jacksonian America, 1815-46
by Charles Sellers
ISBN 13: 9780195089202
Format: Paperback (512 pages) Publisher: OUP USA Published: 14 Jul 1994
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Classical Mathematical Logic: The Semantic Foundations of Logic
by Richard L. Epstein
ISBN 13: 9780691123004
Format: Hardcover (544 pages) Publisher: Princeton University Press Published: 03 Jul 2006
Subsystems of Second Order Arithmetic (Perspectives in Logic)
by Stephen G. Simpson
ISBN 13: 9780521884396
Format: Hardcover (464 pages) Publisher: Cambridge University Press Published: 29 May 2009
Elementary Induction on Abstract Structures (Dover Books on Mathematics)
by Yiannis N Moschovakis
ISBN 13: 9780486466781
Format: Paperback (240 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
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
Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
by
ISBN 13: 9783540222613
Format: Paperback (857 pages) Publisher: Springer Published: 14 Jun 2004
Models and Games (Cambridge Studies in Advanced Mathematics)
by Jouko Väänänen
ISBN 13: 9780521518123
Format: Hardcover (380 pages) Publisher: Cambridge University Press Published: 05 May 2011
Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)
by Tamás Horváth,Akihiro Yamamoto
ISBN 13: 9783540201441
Format: Paperback (416 pages) Publisher: Springer Published: 24 Sep 2003