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.
Sold by Der Buchfreund, Wien, Austria
AbeBooks Seller since February 12, 2002
Used
Condition: Used - Very good
Ships from Austria to U.S.A.
Quantity: 1 available
Add to basket