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 12 February 2002

View this seller's items


Used -

Price: £ 15.61 Convert Currency
£ 19.79 shipping from Austria to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket