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.

Published by American Mathematical Society, Providence, 1967
Condition: min. Alterssp., g.e.

From Der Buchfreund, Wien, Austria

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

AbeBooks Seller since February 12, 2002

View this seller's items


Used -

Price: US$ 21.28 Convert Currency
US$ 40.17 shipping from Austria to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket