Schröder's anticipation of the simple theory of types

著者

• Church, Alonzo

書誌事項

Schröder's anticipation of the simple theory of types

by Alonzo Church

[s.n.], [19--]

注記

Title from caption

"Reprinted for the members of the fifth International Congress for the Unity of Science, Cambridge, Mass., U.S.A. 1939, from: The Journal of Unified Science (Erkenntnis) vol. 9."

詳細情報

• NII書誌ID(NCID): BC03664242
• 出版国コード: xx
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [S.l.]
• ページ数/冊数: p. [149]-152
• 大きさ: 26 cm