ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Intuitionisticmathematics
図書(4 件)
選択行を:
10件
20件
50件
資料名
所在
1
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence).
教養共5F英語
410.1:W
2
Elements of intuitionism / Michael Dummett. -- 2nd ed. -- Clarendon Press, . -- (Oxford logic guides ; 39).
教養(教養学部棟)
410.9:D
3
Intuitionism : An introduction / [By] A. Heyting. -- 3rd rev. ed. -- North-Holland, 1971. -- (Studies in logic and the foundations of mathematics).
図書館(書庫)
410.1:H621i
4
Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism / by Tomasz Placek. -- Kluwer Academic Publishers, 1999. -- (Synthese library ; v. 279).
教養(教養学部棟)
410.1:P
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성