Logic, Symbolic and mathematic - Books

· 9th International Conference on Automated Deduction: Argonne, Illinois: Proceedings (Lecture Notes in Computer Science, 310)
· Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002 (Frontiers in Artificial Intelligence and Applications, 85)
· Algorithmic Logic
· An Introduction to Fuzzy Logic Applications
· Artificial Intelligence and Symbolic Computation: International Conference, Aisc'98, Plattsburgh, New York, Usa, September 1998: Proceedings (Lecture Notes in Computer Science, 1476.)
· Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings (Lecture Notes in Computer Science, 2385.)
· Automated Deduction - CADE-14. 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proc ... (Lecture Notes in Computer Science Vol. 1249)
· Automated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994: Proceedings
· Automated Deduction-Cade-16: 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999: Proceedings (Lecture Notes in Computer Science, 1632.)
· Combinatorics, Computability and Logic
· Computability: Computable Functions Logic and the Foundations of Math
· Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997: P Roceedings (Lecture Notes in Computer Science, 1289)
· Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science, Vol)
· Computer Science Logic: 8th Workshop, Csl '94 Kazimierz, Poland, September 25-30, 1994 Selected Papers (Lecture Notes in Computer Science No 933)
· Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science, Vol 440)
· Deductive Program Design (NATO Asi Series. Series F, Computer and Systems Sciences, No. 152.)
· Descriptive Complexity (Graduate Texts in Computer Science)
· Elements of the Theory of Computation (2nd Edition)
· Friendly Introduction to Mathematical Logic, A
· Gödel '96: Foundations of Mathematics, Computer Science and Physics?Kurt Gödel's Legacy
· Handbook of Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies
· Handbook of Logic in Artificial Intelligence and Logic Programming: Logical Foundations
· Handbook of Logic in Computer Science: Background Computational Structures
· Handbook of Logic in Computer Science: Semantic Modelling (Handbook of Logic in Computer Science, Vol 4)
· Introduction to Circuit Complexity: A Uniform Approach (Texts in Theoretical Computer Science)
· Introduction to Digital Logic Design
· Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
· KR Proceedings 1992
· Logic and Structured Design for Computer Programmers
· Logic Design Theory
· Logic For Applications
· Logic for Mathematics and Computer Science
· Logic of Programs
· Logic, Language and Computation: Volume 2
· Logics in Artificial Intelligence: European Workshop, Jelia '98 Dagstuhl, Germany, October 12-15, 1998, Proceedings (Lecture Notes in Computer Science, 1489)
· Machinations : Computational Studies of Logic, Language, and Cognition
· Mathematical Logic for Computer Science
· Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)
· Ones and Zeros : Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets
· Reasoning about Uncertainty
· Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
· Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht (Lecture Notes in Computer Science, 1261)
· Substructural Logics (Studies in Logic and Computation, 2)
· The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
· The Logic of Knowledge Bases
· Turing's World 3.0 for Mac : An Introduction to Computability Theory