Oxford logic guides

• 資料種別: 図書
• タイトル: Oxford logic guides
• 出版事項: Clarendon Press; Oxford University Press
• 並列タイトル等: OLG
• 出版地（国名コード）: uk
• 対象利用者: 一般
• 関連情報: Gödel's incompleteness theorems; https://cir.nii.ac.jp/crid/1130000793810555392; Set theory : Boolean-valued models and independence proofs; https://cir.nii.ac.jp/crid/1130000794147581440; Change, choice and inference : a study of belief revision and nonmonotonic reasoning; https://cir.nii.ac.jp/crid/1130000794161950720; Groups of finite Morley rank; https://cir.nii.ac.jp/crid/1130000794416019712; Introduction to logic and to the methodology of the deductive sciences; https://cir.nii.ac.jp/crid/1130000794539582592; https://cir.nii.ac.jp/crid/1130000794626797440; Computability and randomness; https://cir.nii.ac.jp/crid/1130000794753646080; Diagonalization and self-reference; https://cir.nii.ac.jp/crid/1130000794932636544; Subrecursion : functions and hierarchies; https://cir.nii.ac.jp/crid/1130000795086798976; Category theory; https://cir.nii.ac.jp/crid/1130000795870911488; Computability theory, semantics, and logic programming; https://cir.nii.ac.jp/crid/1130000796356967936; Elementary categories, elementary toposes; https://cir.nii.ac.jp/crid/1130000796413434624; Toposes and local set theories : an introduction; https://cir.nii.ac.jp/crid/1130000796948722816; Many-valued logics; https://cir.nii.ac.jp/crid/1130000797012518144; Elements of intuitionism; https://cir.nii.ac.jp/crid/1130000797254338432; https://cir.nii.ac.jp/crid/1130000797265260032; Sketches of an elephant : a topos theory compendium; https://cir.nii.ac.jp/crid/1130000797282745856; Model theory; https://cir.nii.ac.jp/crid/1130000797293587456; Reductive logic and proof-search : proof theory, semantics, and control; https://cir.nii.ac.jp/crid/1130000797382809728; Classical propositional operators : an exercise in the foundations of logic; https://cir.nii.ac.jp/crid/1130000797632555264; Relative category theory and geometric morphisms : a logical approach; https://cir.nii.ac.jp/crid/1130000797773896448; Recursion theory for metamathematics; https://cir.nii.ac.jp/crid/1130000797978179712; https://cir.nii.ac.jp/crid/1130000797987537024; Formal number theory and computability : a workbook; https://cir.nii.ac.jp/crid/1130000798087636096; Fragments of first-order logic; https://cir.nii.ac.jp/crid/1130014703778931974; https://cir.nii.ac.jp/crid/1130282268840951552; Geometric stability theory; https://cir.nii.ac.jp/crid/1130282269006312832; Cardinal arithmetic; https://cir.nii.ac.jp/crid/1130282269763639552; Set theory with a universal set : exploring an untyped universe; https://cir.nii.ac.jp/crid/1130282269803126528; Arithmetic, proof theory, and computational complexity; https://cir.nii.ac.jp/crid/1130282269878346368; https://cir.nii.ac.jp/crid/1130282269897684992; A study of logics; https://cir.nii.ac.jp/crid/1130282270077748480; The Boole-De Morgan correspondence, 1842-1864; https://cir.nii.ac.jp/crid/1130282270183501184; Set theory and the continuum problem; https://cir.nii.ac.jp/crid/1130282270214201088; Cantorian set theory and limitation of size; https://cir.nii.ac.jp/crid/1130282270387737216; Bolzano's logical system; https://cir.nii.ac.jp/crid/1130282270410145408; Models of Peano arithmetic; https://cir.nii.ac.jp/crid/1130282270440081920; Foundations without foundationalism : a case for second-order logic; https://cir.nii.ac.jp/crid/1130282270446156416; Boolean-valued models and independence proofs in set theory; https://cir.nii.ac.jp/crid/1130282270701335936; Temporal logic : mathematical foundations and computational aspects; https://cir.nii.ac.jp/crid/1130282270872894848; Simplicity theory; https://cir.nii.ac.jp/crid/1130282270889175936; An introduction to stability theory; https://cir.nii.ac.jp/crid/1130282271003185664; https://cir.nii.ac.jp/crid/1130282271093182464; Fibring logics; https://cir.nii.ac.jp/crid/1130282271530863232; https://cir.nii.ac.jp/crid/1130282271538985600; Interpolation and definability : modal and intuitionistic logics; https://cir.nii.ac.jp/crid/1130282271796381952; Modal logic; https://cir.nii.ac.jp/crid/1130282271804073216; Beginning model theory : the completeness theorem and some consequences; https://cir.nii.ac.jp/crid/1130282272339309440; Labelled deductive systems; https://cir.nii.ac.jp/crid/1130282272542021760; Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995; https://cir.nii.ac.jp/crid/1130282272783699712; From sets and types to topology and analysis : towards practicable foundations for constructive mathematics; https://cir.nii.ac.jp/crid/1130282272872540544; Choice sequences : a chapter of intuitionistic mathematics; https://cir.nii.ac.jp/crid/1130282272973140736; Features and fluents : representation of knowledge about dynamical systems; https://cir.nii.ac.jp/crid/1130282273100248960; The structure of models of Peano arithmetic; https://cir.nii.ac.jp/crid/1130282273120441600; Recursive aspects of descriptive set theory; https://cir.nii.ac.jp/crid/1130282273208464384; Algebraic methods in philosophical logic; https://cir.nii.ac.jp/crid/1130282273368833280; Consequence relations : an introduction to the Lindenbaum-Tarski method; https://cir.nii.ac.jp/crid/1130855953743267984; https://cir.nii.ac.jp/crid/1130864315061547290; https://cir.nii.ac.jp/crid/1131975282645027072
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA00017765#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA00017765 : BA00017765