Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Essential Logic: Basic Reasoning Skills for the Twenty-First Century
by Ronald C. Pine
ISBN 13: 9780195155051
Format: Paperback (432 pages) Publisher: Oxford University Press, USA Published: 05 Oct 1995
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)
by Jerzy Tiuryn
ISBN 13: 9783540672579
Format: Paperback (408 pages) Publisher: Springer Published: 13 Apr 2000
A Calculus of Communication Systems: 92 (Lecture Notes in Computer Science)
by R. Milner
ISBN 13: 9783540102359
Format: Paperback (188 pages) Publisher: Springer Published: 01 Sep 1980
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
The Frege Reader (Wiley Blackwell Readers)
by Michael Beaney
ISBN 13: 9780631194453
Format: Paperback (432 pages) Publisher: Wiley-Blackwell Published: 02 May 1997
Foundations and Fundamental Concepts of Mathematics (Dover Books on MaTHEMA 1.4tics)
by Howard Eves
ISBN 13: 9780486696096
Format: Illustrated (368 pages) Publisher: Dover Publications Inc Published: 21 Sep 1997
Symbolic Logic and the Game of Logic (Dover Recreational Math)
by Lewis Carroll
ISBN 13: 9780486204925
Format: Paperback (335 pages) Publisher: Dover Publications Inc. Published: 02 Jan 2000
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008