Two Papers Predicate Calculus by Kleene (1 results)

Author:

Title:

Refine with Advanced Search

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
Seller: Der Buchfreund, Wien, AustriaDer Buchfreund
4-star seller
Contact seller
Condition: Used - Very good
£ 15.71
£ 61.42 shipping
Ships from Austria to U.S.A.
Quantity: 1 available
Add to basket
Original-Broschüre. Condition: Sehr gut. 4 Original-Broschüre 2nd printing with revisions en Mathematics (Memoirs of the American Mathematical Society. N°; 10); 68 pp.