Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642024238
Format: Paperback (353 pages) Publisher: Springer Published: 09 Jun 2009
Save for later
Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)
ISBN 13: 9783642119699
Format: Paperback (326 pages) Publisher: Springer Published: 16 Mar 2010
Deduction: Introductory Symbolic Logic
by Daniel Bonevac
ISBN 13: 9780631227137
Format: Paperback (528 pages) Publisher: Wiley-Blackwell Published: 13 Sep 2002
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540894384
Format: Paperback (728 pages) Publisher: Springer Published: 13 Nov 2008
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
ISBN 13: 9789048124855
Format: Paperback (360 pages) Publisher: Springer Published: 12 Mar 2009
Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642006647
Format: Paperback (287 pages) Publisher: Springer Published: 27 Mar 2009
Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642148651
Format: Paperback (513 pages) Publisher: Springer Published: 05 Aug 2010
Mathematical Logic
by Stephen Cole Kleene
ISBN 13: 9780486425337
Format: Paperback (416 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
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
Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)
ISBN 13: 9780521143493
Format: Paperback (236 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Godel: A Life of Logic, the Mind, and Mathematics
by John L. Casti,Werner Depauli
ISBN 13: 9780738205182
Format: Paperback (224 pages) Publisher: Perseus Books Published: 16 Aug 2001