国文学研究資料館の所蔵を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
NDLサーチを検索します。
IRDBを検索します。
国文学研究資料館の蔵書を検索した結果です。
検索キーワード:(件名: #記号論理学)
該当件数:2件
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
図書 <1000063773> [BN04117719]
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
図書 <1000062098> [BN00245681]