城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Proposition )
該当件数:3件
Formally self-referential propositions for cut free classical analysis and related systems / G. Kreisel and G. Takeuti.
Warszawa : Panstwowe Wydawn. Naukowe , 1974. - (Dissertationes mathematicae)
図書
Possible worlds : an introduction to logic and its philosophy / Raymond Bradley, Norman Swartz.
Oxford : B. Blackwell , 1979
Aristotelis Categoriae et Liber de interpretatione / recognovit brevique adnotatione critica instruxit L. Minio-Paluello
Oxonii : E Typographeo Clarendoniano , 1949. - (Scriptorum classicorum bibliotheca Oxoniensis)