Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Clarendon Press1985.<MA41-A28>
National Diet Library

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)
Paper図書
Oxford University Press1985.<MA41-A29>
National Diet Library

Fragments of first-order logic

Fragments of first-order logic
Paper図書
Ian Pratt-HartmannOxford University Pressc2023
Other Libraries in Japan
  • Related MaterialOxford science publications Oxford logic guides
  • Periodical TitleOxford science publications Oxford logic guides

Consequence relations : an introduction to the Lindenbaum-Tarski method

Consequence relations : an introduction to the Lindenbaum-Tarski method
Paper図書
Alex Citkin, Alexei MuravitskyOxford University Pressc2022
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

Bolzano's logical system

Bolzano's logical system
Paper図書
Ettore CasariOxford University Press2016
Other Libraries in Japan
  • Related MaterialOxford science publications Oxford logic guides
  • Periodical TitleOxford science publications Oxford logic guides

Simplicity theory

Simplicity theory
Paper図書
Byunghan KimOxford University Press2014
Other Libraries in Japan
  • Related MaterialOxford science publications Oxford logic guides
  • Periodical TitleOxford science publications Oxford logic guides

Computability and randomness : pbk

Computability and randomness : pbk
Paper図書
André NiesOxford University Press2012, c2009
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

Category theory : pbk 2nd ed

Category theory : pbk 2nd ed
Paper図書
Steve AwodeyOxford University Press2011, c2010
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

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

Set theory : Boolean-valued models and independence proofs : pbk 3rd ed
Paper図書
John L. BellClarendon Press2011
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

Category theory : hard : pbk 2nd ed

Category theory : hard : pbk 2nd ed
Paper図書
Steve AwodeyOxford University Press2010
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

Computability and randomness

Computability and randomness
Paper図書
André NiesOxford University Press2009
Other Libraries in Japan
  • Related MaterialOxford science publications Oxford logic guides
  • Periodical TitleOxford science publications Oxford logic guides

Category theory

Category theory
Paper図書
Steve AwodeyClarendon2006
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford 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
Paper図書
edited by Laura Crosilla and Peter SchusterClarendon Press2005
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

Algebraic methods in philosophical logic

Algebraic methods in philosophical logic
Paper図書
J. Michael Dunn and Gary M. HardegreeClarendon Press2005, c2001
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

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

Set theory : Boolean-valued models and independence proofs 3rd ed
Paper図書
John L. BellClarendon Press2005
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

The structure of models of Peano arithmetic

The structure of models of Peano arithmetic
Paper図書
Roman Kossak, James H. SchmerlClarendon2006
Other Libraries in Japan
  • Related MaterialOxford science publications Oxford logic guides
  • Periodical TitleOxford science publications Oxford logic guides

Interpolation and definability : modal and intuitionistic logics

Interpolation and definability : modal and intuitionistic logics
Paper図書
D.M. Gabbay, L. MaksimovaClarendon Press2005
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

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

Reductive logic and proof-search : proof theory, semantics, and control : hbk
Paper図書
David J. Pym and Eike RitterClarendon Press2004
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford 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
Paper図書
Peter T. JohnstoneClarendon Pressc2002
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides

Algebraic methods in philosophical logic

Algebraic methods in philosophical logic
Paper図書
J. Michael Dunn and Gary M. HardegreeClarendon Press2001
Other Libraries in Japan
  • Related MaterialOxford logic guides
  • Periodical TitleOxford logic guides
RSS