東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: BC135)
該当件数:5件
Introduction to mathematical logic / by Alonzo Church
vol. 1.. - Princeton : Princeton University Press , 1956. - (Princeton mathematical series ; 17)
図書
An introduction to substructural logics / Greg Restall
pbk.. - London ; New York : Routlege , 2000
Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen / Ludwig Wittgenstein
1. Aufl. - Frankfurt am Main : Suhrkamp , 1989. - (Werkausgabe / Ludwig Wittgenstein ; Bd. 1)
Logic with trees : an introduction to symbolic logic / Colin Howson
: pbk. - New York : Routledge , 1997
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem / edited by Stewart Shapiro
Aldershot, Hants ; Brookfield, Vt. : Dartmouth , c1996. - (The international research library of philosophy ; 18 . The philosophy of logic, language and mind)