本文に飛ぶ

年 〜
年

検索結果 62 件

Boolean-valued models and independence proofs in set theory / J.L. Bell. 2nd ed. (Oxford logic guides ; 12)

Boolean-valued models and independence proofs in set theory / J.L. Bell. 2nd ed. (Oxford logic guides ; 12)
紙図書
Clarendon Press1985.<MA41-A28>
国立国会図書館

Recursive aspects of descriptive set theory / Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson. (Oxford logic guides ; 11)

Recursive aspects of descriptive set theory / Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson. (Oxford logic guides ; 11)
紙図書
Oxford University Press1985.<MA41-A29>
国立国会図書館

Fragments of first-order logic

Fragments of first-order logic
紙図書
Ian Pratt-HartmannOxford University Pressc2023
全国の図書館
  • 関連情報Oxford science publications Oxford logic guides
  • 掲載誌Oxford science publications Oxford logic guides

Consequence relations : an introduction to the Lindenbaum-Tarski method

Consequence relations : an introduction to the Lindenbaum-Tarski method
紙図書
Alex Citkin, Alexei MuravitskyOxford University Pressc2022
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Bolzano's logical system

Bolzano's logical system
紙図書
Ettore CasariOxford University Press2016
全国の図書館
  • 関連情報Oxford science publications Oxford logic guides
  • 掲載誌Oxford science publications Oxford logic guides

Simplicity theory

Simplicity theory
紙図書
Byunghan KimOxford University Press2014
全国の図書館
  • 関連情報Oxford science publications Oxford logic guides
  • 掲載誌Oxford science publications Oxford logic guides

Computability and randomness : pbk

Computability and randomness : pbk
紙図書
André NiesOxford University Press2012, c2009
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Category theory : pbk 2nd ed

Category theory : pbk 2nd ed
紙図書
Steve AwodeyOxford University Press2011, c2010
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Set theory : Boolean-valued models and independence proofs : pbk 3rd ed

Set theory : Boolean-valued models and independence proofs : pbk 3rd ed
紙図書
John L. BellClarendon Press2011
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Category theory : hard : pbk 2nd ed

Category theory : hard : pbk 2nd ed
紙図書
Steve AwodeyOxford University Press2010
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Computability and randomness

Computability and randomness
紙図書
André NiesOxford University Press2009
全国の図書館
  • 関連情報Oxford science publications Oxford logic guides
  • 掲載誌Oxford science publications Oxford logic guides

Category theory

Category theory
紙図書
Steve AwodeyClarendon2006
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
紙図書
edited by Laura Crosilla and Peter SchusterClarendon Press2005
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Algebraic methods in philosophical logic

Algebraic methods in philosophical logic
紙図書
J. Michael Dunn and Gary M. HardegreeClarendon Press2005, c2001
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Set theory : Boolean-valued models and independence proofs 3rd ed

Set theory : Boolean-valued models and independence proofs 3rd ed
紙図書
John L. BellClarendon Press2005
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

The structure of models of Peano arithmetic

The structure of models of Peano arithmetic
紙図書
Roman Kossak, James H. SchmerlClarendon2006
全国の図書館
  • 関連情報Oxford science publications Oxford logic guides
  • 掲載誌Oxford science publications Oxford logic guides

Interpolation and definability : modal and intuitionistic logics

Interpolation and definability : modal and intuitionistic logics
紙図書
D.M. Gabbay, L. MaksimovaClarendon Press2005
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Reductive logic and proof-search : proof theory, semantics, and control : hbk

Reductive logic and proof-search : proof theory, semantics, and control : hbk
紙図書
David J. Pym and Eike RitterClarendon Press2004
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Sketches of an elephant : a topos theory compendium v. 1 v. 2 : set

Sketches of an elephant : a topos theory compendium v. 1 v. 2 : set
紙図書
Peter T. JohnstoneClarendon Pressc2002
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides

Algebraic methods in philosophical logic

Algebraic methods in philosophical logic
紙図書
J. Michael Dunn and Gary M. HardegreeClarendon Press2001
全国の図書館
  • 関連情報Oxford logic guides
  • 掲載誌Oxford logic guides
RSS