Two papers on the predicate calculus
著者
書誌事項
Two papers on the predicate calculus
(Memoirs of the American Mathematical Society, no. 10)
American Mathematical Society, 1952
大学図書館所蔵 件 / 全31件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
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