Two papers on the predicate calculus

著者

• Kleene, Stephen Cole

書誌事項

Two papers on the predicate calculus

by S.C. Kleene

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

American Mathematical Society, 1952

注記

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

収録内容

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

詳細情報

• NII書誌ID(NCID): BA34611574
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: 68 p.
• 大きさ: 26 cm
• 件名:
  • FREE : Predicate calculus
• 親書誌ID:
  • BA00035927