The following text field will produce suggestions that follow it as you type.

Barnes and Noble

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

Barnes and Noble
Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1

Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1

Barnes and Noble
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1

Barnes and Noble
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / Edition 1

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / Edition 1

Barnes and Noble
Algebra and Number Theory: Proceedings of a Conference held at the Institute of Experimental Mathematics, University of Essen (Germany), December 2-4, 1992 / Edition 1

Algebra and Number Theory: Proceedings of a Conference held at the Institute of Experimental Mathematics, University of Essen (Germany), December 2-4, 1992 / Edition 1

Barnes and Noble
Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1

Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1

Barnes and Noble
Algebraic K-Theory. Proceedings of a Conference Held at Oberwolfach, June 1980: Part 1 / Edition 1

Algebraic K-Theory. Proceedings of a Conference Held at Oberwolfach, June 1980: Part 1 / Edition 1

Barnes and Noble
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Barnes and Noble
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 / Edition 1

Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 / Edition 1

Barnes and Noble
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Barnes and Noble
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Edition 1

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Edition 1

Barnes and Noble
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Barnes and Noble
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Edition 1

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Edition 1

Barnes and Noble
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1

Barnes and Noble
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / Edition 1

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / Edition 1

Barnes and Noble
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Barnes and Noble
Powered by Adeptmind