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

Home

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

Barnes and Noble

Loading Inventory...
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

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 in Bloomington, MN

Current price: $46.00
Get it at 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

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 in Bloomington, MN

Current price: $46.00
Loading Inventory...

Size: OS

Get it at Barnes and Noble
View Mall of America® within Bloomington, Minnesota

Shop Similar Products

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1
Loading Inventory...
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1
Barnes and Noble
Current price: $69.95
Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1
Loading Inventory...
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
Current price: $54.99
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1
Loading Inventory...
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / Edition 1
Loading Inventory...
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
Current price: $54.99
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
Loading Inventory...
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
Current price: $252.00
Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1
Loading Inventory...
Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Algebraic K-Theory. Proceedings of a Conference Held at Oberwolfach, June 1980: Part 1 / Edition 1
Loading Inventory...
Algebraic K-Theory. Proceedings of a Conference Held at Oberwolfach, June 1980: Part 1 / Edition 1
Barnes and Noble
Current price: $69.95
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1
Loading Inventory...
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
Current price: $54.99
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 / Edition 1
Loading Inventory...
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 / Edition 1
Barnes and Noble
Current price: $54.99
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Loading Inventory...
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Barnes and Noble
Current price: $54.99
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Edition 1
Loading Inventory...
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
Current price: $219.99

Keep Shopping

on-sale.jpg

On Sale

new-in.jpg

New In

Men_s.jpeg

Men

women.jpg

Women

Baby+and+kids.jpeg

Baby and Kids

Beauty.jpeg

Beauty

Jewellry.jpeg

Jewelry

Powered by Adeptmind