Walter R. Schaden
Universitätsbuchhandlung & Antiquariat

Kleene, S. C.

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).

Erscheinungsort: Providence
Verlag: American Mathematical Society
Erscheinungsjahr: 1967
Auflage: 2nd printing with revisions
Format:
Einband: Obrosch.
Zustand: min. Alterssp., g.e.

(Memoirs of the American Mathematical Society. N°; 10); 68 pp.

Sprache: Englisch

 18,00

Vorrätig

Zusätzliche Information

Gewicht 1000 g