Outstanding contributions to logic

資料種別: 図書

著者: -

出版者: Springer

出版年: -

資料形態: 紙

ページ数・大きさ等: -

NDC: -

すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

CiNii Research
検索サービス
紙
連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
この本の所蔵を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
タイトル: Outstanding contributions to logic
出版事項: Springer
出版地（国名コード）: ne
対象利用者: 一般
関連情報: Leo Esakia on duality in modal and intuitionistic logics
https://cir.nii.ac.jp/crid/1130000793743003648
J. Michael Dunn on information based logics
https://cir.nii.ac.jp/crid/1130000794196592512
Hilary Putnam on logic and mathematics
https://cir.nii.ac.jp/crid/1130000795748821760
Rohit Parikh on logic, language and society
https://cir.nii.ac.jp/crid/1130000796076950016
Raymond Smullyan on self reference
https://cir.nii.ac.jp/crid/1130000797685957888
Krister Segerberg on logic of actions
https://cir.nii.ac.jp/crid/1130000798219010688
Hiroakira Ono on substructural logics
https://cir.nii.ac.jp/crid/1130009205962656906
David Makinson on classical methods for non-classical problems
https://cir.nii.ac.jp/crid/1130282268915729408
Johan van Benthem on Logic and Informatijon Dynamics
https://cir.nii.ac.jp/crid/1130282270334096640
Dag Prawitz on proofs and meaning
https://cir.nii.ac.jp/crid/1130282270465949312
Feferman on foundations : logic, mathematics, philosophy
https://cir.nii.ac.jp/crid/1130282270788307712
Nuel Belnap on indeterminism and free action
https://cir.nii.ac.jp/crid/1130282271068335488
Martin Davis on computability, computational logic, and mathematical foundations
https://cir.nii.ac.jp/crid/1130282271533269376
Jaakko Hintikka on knowledge and game-theoretical semantics
https://cir.nii.ac.jp/crid/1130282271611146752
Petr Hájek on mathematical fuzzy logic
https://cir.nii.ac.jp/crid/1130282272224446080
Larisa Maksimova on implication, interpolation, and definability
https://cir.nii.ac.jp/crid/1130282272384907136
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
https://cir.nii.ac.jp/crid/1130282273062545152
Graham Priest on dialetheism and paraconsistency
https://cir.nii.ac.jp/crid/1130286429215876864
Joachim Lambek : The Interplay of Mathematics, Logic, and Linguistics
https://cir.nii.ac.jp/crid/1130288977301407490
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
https://cir.nii.ac.jp/crid/1130289751680264491
Arnon Avron on semantics and proof theory of non-classical logics
https://cir.nii.ac.jp/crid/1130293235209506322
Dick de Jongh on Intuitionistic and Provability Logics
https://cir.nii.ac.jp/crid/1130301365108473092
Krister Segerberg on logic of actions
https://cir.nii.ac.jp/crid/1130301597176459030
Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic
https://cir.nii.ac.jp/crid/1130570452248531477
V.A. Yankov on non-classical logics, history and philosophy of mathematics
https://cir.nii.ac.jp/crid/1130575871529604129
Kit fine on truthmakers, relevance, and non-classical logic
https://cir.nii.ac.jp/crid/1130580284819365135
関連情報（URI）: https://ci.nii.ac.jp/ncid/BB14796033#entity
連携機関・データベース: 国立情報学研究所 : CiNii Research
提供元機関・データベース: CiNii Books
https://ci.nii.ac.jp/books
NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BB14796033 : BB14796033