Perspectives in logic

資料種別: 図書

著者: Pudlák, Pavel

出版者: Association for Symbolic Logic : Cambridge University Press

出版年: -

資料形態: 紙

ページ数・大きさ等: -

NDC: -

すべて見る

資料に関する注記

一般注記：: The series has its origins in the "Perspectives in Mathematical Logic <BA00027452>" series edited by the Ω-Group

書店で探す

全国の図書館の所蔵

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

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

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

その他

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

書店で探す

書誌情報

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

紙

資料種別: 図書
タイトル: Perspectives in logic
著者標目: Pudlák, Pavel
https://ci.nii.ac.jp/author/DA04779718
出版事項: Association for Symbolic Logic : Cambridge University Press
出版地（国名コード）: us
本文の言語コード: en
対象利用者: 一般
一般注記: The series has its origins in the "Perspectives in Mathematical Logic <BA00027452>" series edited by the Ω-Group
関連情報: Metamathematics of first-order arithmetic
https://cir.nii.ac.jp/crid/1130000794548847872
Lambda calculus with types
https://cir.nii.ac.jp/crid/1130000795190703104
Constructibility
https://cir.nii.ac.jp/crid/1130000795643218688
Subsystems of second order arithmetic
https://cir.nii.ac.jp/crid/1130000796248570752
Fundamentals of stability theory
https://cir.nii.ac.jp/crid/1130000796844155648
Model-theoretic logics
https://cir.nii.ac.jp/crid/1130000796934284800
Proofs and computations
https://cir.nii.ac.jp/crid/1130000797029264768
Essential stability theory
https://cir.nii.ac.jp/crid/1130000797202552064
Subsystems of second order arithmetic
https://cir.nii.ac.jp/crid/1130000797912816384
Pure inductive logic
https://cir.nii.ac.jp/crid/1130000798038044288
Admissible sets and structures : an approach to definability theory
https://cir.nii.ac.jp/crid/1130004957808205440
Computability in analysis and physics
https://cir.nii.ac.jp/crid/1130282270507019008
Proof and computations
https://cir.nii.ac.jp/crid/1130282271802588928
Logical foundations of proof complexity
https://cir.nii.ac.jp/crid/1130282271857680640
Higher recursion theory
https://cir.nii.ac.jp/crid/1130282272287908352
Logical foundations of proof complexity
https://cir.nii.ac.jp/crid/1130282273004254336
Computable structure theory : within the arithmetic
https://cir.nii.ac.jp/crid/1130570762218376755
関連情報（URI）: https://ci.nii.ac.jp/ncid/BA90341523#entity
連携機関・データベース: 国立情報学研究所 : CiNii Research
提供元機関・データベース: CiNii Books
https://ci.nii.ac.jp/books
NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA90341523 : BA90341523

Perspectives in logic

書店で探す

目次

全国の図書館の所蔵

書店で探す

書誌情報

紙