Two papers on the predicate calculus

Author(s)

• Kleene, Stephen Cole

Bibliographic Information

Two papers on the predicate calculus

by S.C. Kleene

（Memoirs of the American Mathematical Society, no. 10）

American Mathematical Society, 1952

Note

Title from cover

"Received by the editors on June 11, 1951. Presented to the American Mathematical Society September 4, 1951. Received in revised form February 20, 1952."--P. [1]

Bibliography: p. [67]-68

Contents of Works

• Permutability of inferences in Gentzen's calculi LK and LJ
• Finite axiomatizability of theories in the predicate calculus using additional predicate symbols

Details

• NCID: BA34611574
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, R.I.
• Pages/Volumes: 68 p.
• Size: 26 cm
• Subject Headings:
  • FREE : Predicate calculus
• Parent Bibliography ID:
  • BA00035927