Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
by Jouko Väänänen
ISBN 13: 9780521700153
Format: Paperback (236 pages) Publisher: Cambridge University Press Published: 10 May 2007
Save for later
Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)
by
ISBN 13: 9781420059816
Format: Hardcover (631 pages) Publisher: Chapman and Hall/CRC Published: 09 Aug 2010
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642030918
Format: Paperback (139 pages) Publisher: Springer Published: 26 Oct 2009
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
Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic)
by Torkel Franzén
ISBN 13: 9781568811758
Format: Paperback (300 pages) Publisher: A K Peters/CRC Press Published: 02 Sep 2004
Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642030789
Format: Paperback (321 pages) Publisher: Springer Published: 10 Jul 2009
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642048920
Format: Paperback (329 pages) Publisher: Springer Published: 23 Sep 2009
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Gabriele Puppis
ISBN 13: 9783642118807
Format: Paperback (206 pages) Publisher: Springer Published: 18 Feb 2010
Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521694841
Format: Paperback (350 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521709088
Format: Paperback (444 pages) Publisher: Cambridge University Press Published: 22 May 2008