Two Papers on the Predicate Calculus (Permutability of Inferences in Gentzen's Calculi LK and LJ / Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols).
Kleene, S. C.
From Der Buchfreund, Wien, Austria
Seller rating 4 out of 5 stars
AbeBooks Seller since 12 February 2002
Used -
Quantity: 1 available
Add to basket