上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #記号論理学)
該当件数:179件
記号論理学 : その展望と限界をさぐる / R. ジェフリー著 ; 戸田山和久訳
東京 : マグロウヒル出版 , 1992.12
図書 <1000230205>
現代論理学の基礎 : 経済学での応用例 / L.チャイカ著 ; 飛田就一, 木戸正幸訳
東京 : 富士書店 , 1983.9
図書 <1000018048>
記号論理学 / ジャン・ショーヴィノー著 ; 芹沢正三訳
東京 : 白水社 , 1959. - (文庫クセジュ ; 257)
図書 <1000093091>
非古典論理学 / 杉原丈夫著
東京 : 槙書店 , 1975. - (数学選書)
図書 <1000097664>
数学的論理学 / 杉原丈夫著
東京 : 槙書店 , 1967. - (数学選書)
図書 <1000098654>
数理論理学 / 福山克著
東京 : 培風館 , 1980.1. - (現代数学レクチャーズ ; B-6)
図書 <1000051491>
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロ-著 ; 安藤四郎[ほか]訳
東京 : 共立出版 , 1985.6
図書 <1000032698>
記号論理読本 / 前原昭二著
東京 : 日本評論社 , 1976
図書 <1000111833>
論理学 : モデル理論と歴史的背景 / 神野慧一郎, 内井惣七著
京都 : ミネルヴァ書房 , 1976.5
図書 <1000116764>
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
図書 <1000218971>
数理論理学原論 : 近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
東京 : 文化書房博文社 , 1992.4
図書 <1000220866>
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男[ほか]編 ; 3)
図書 <1000152945>
プリンキピア・マテマティカ序論 / A・N・ホワイトヘッド, B・ラッセル [著] ; 岡本賢吾 [ほか] 訳
東京 : 哲学書房 , 1988.7. - (叢書思考の生成 ; 1)
図書 <1000114075>
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
図書 <1001954641>
記号論理入門 / 金子洋之著
東京 : 産業図書 , 1994.10. - (哲学教科書シリーズ)
図書 <1000258450>
記号論理学入門 / 松原康夫著
東京 : 創成社 , 2006.11
図書 <1001797377>
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
東京 : コロナ社 , 2014.10
図書 <1002723803>
数理論理学序説 / 前原昭二著
復刊. - 東京 : 共立出版 , 2010.9
図書 <1002235610>
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
図書 <1002522210>
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
図書 <1002533851>