Title: Computability, Enumerability, Unsolvability: Directions in Recursion Theory, Author: S. B. Cooper
Title: An Accompaniment to Higher Mathematics / Edition 1, Author: George R. Exner
Title: The Logic of Reliable Inquiry, Author: Kevin T. Kelly
Title: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems / Edition 1, Author: Madhu Sudan
Title: Kurt G�del: Unpublished Philosophical Essays / Edition 1, Author: Francisco A. Rodriguez-Consuegra
Title: Argumentation Schemes for Presumptive Reasoning / Edition 1, Author: Douglas Walton
Title: From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics / Edition 1, Author: Jaakko Hintikka
Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / Edition 1, Author: Peter Dybjer
Title: Bounded Arithmetic, Propositional Logic and Complexity Theory, Author: Jan Krajicek
Title: Argumentation Schemes for Presumptive Reasoning / Edition 1, Author: Douglas Walton
Title: Essential Logic: Basic Reasoning Skills for the Twenty-First Century / Edition 1, Author: Ronald C. Pine
Title: Temporal Logic: From Ancient Ideas to Artificial Intelligence / Edition 1, Author: Peter Øhrstrøm
Title: The Pleadings Game: An Artificial Intelligence Model of Procedural Justice / Edition 1, Author: Thomas F. Gordon
Title: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings / Edition 1, Author: E. Thomas Schubert
Title: Fuzzy Systems for Information Processing / Edition 1, Author: K. Asai
Title: Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications / Edition 1, Author: Stamatios V. Kartalopoulos
Title: Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers / Edition 1, Author: Daniel Leivant
Title: Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / Edition 1, Author: Leszek Pacholski
Title: The Heritage of Thales / Edition 1, Author: W.S. Anglin
Title: Fuzzy Logic and Intelligent Systems / Edition 1, Author: Hua Harry Li

Pagination Links