Three views of logic mathematics, philosophy, and computer science

Three views of logic mathematics, philosophy, and computer science

書誌詳細
主要な著者: Loveland, Donald W. (著者), Hodel, Richard E. (著者), Sterrett, Susan G. (著者)
フォーマット: 図書
言語:English
出版事項: Princeton, New Jersey Princeton University Press [2014]
主題:
Proof theory.
Computable functions.
Nonclassical mathematical logic.
オンライン･アクセス:Table of contents only