Foundation of mathematical logic

書誌詳細
第一著者:	Curry, Haskell B. (Haskell Brooks), 1900-
フォーマット:	図書
出版事項:	New York McGraw-Hill Book Co., Inc. 1963.
主題:	Logic, sysbolic and mathematical.