yr 〜
yr

Search results 15

Coherence in three-dimensional category theory : hardback

Coherence in three-dimensional category theory : hardback
Paper図書
Nick GurskiCambridge University Press2013
Other Libraries in Japan
  • Subject HeadingTricategories MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Tricategories MATHEMATICS / Logic. bisacsh

Logic for computer science : foundations of automatic theorem proving : pbk. 2nd ed

Logic for computer science : foundations of automatic theorem proving : pbk. 2nd ed
Paper図書
Jean H. GallierDover Publications2015
Other Libraries in Japan
  • Subject HeadingAutomatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Automatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic. bisacsh

Monoidal topology : a categorical approach to order, metric, and topology : hardback

Monoidal topology : a categorical approach to order, metric, and topology : hardback
Paper図書
edited by Dirk Hofmann, Gavin J. Seal, Walter TholenCambridge University Press2014
Other Libraries in Japan
  • Subject HeadingTopological semigroups Group theory MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Topological semigroups Group theory MATHEMATICS / Logic. bisacsh

Burden of proof, presumption and argumentation : hardback : paperback

Burden of proof, presumption and argumentation : hardback : paperback
Paper図書
Douglas WaltonCambridge University Press2014
Other Libraries in Japan
  • Subject HeadingBurden of proof Proof theory MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Burden of proof Proof theory MATHEMATICS / Logic. bisacsh

Methods of argumentation : pbk

Methods of argumentation : pbk
Paper図書
Douglas WaltonCambridge University Press2013
Other Libraries in Japan
  • Subject HeadingReasoning MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Reasoning MATHEMATICS / Logic. bisacsh

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk
Paper図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2014, c2011
Other Libraries in Japan

Elements of logical reasoning : pbk

Elements of logical reasoning : pbk
Paper図書
Jan von PlatoCambridge University Press2013
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical Reasoning MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Logic, Symbolic and mathematical Reasoning MATHEMATICS / Logic. bisacsh

Formal languages in logic : a philosophical and cognitive analysis

Formal languages in logic : a philosophical and cognitive analysis
Paper図書
Catarina Dutilh NovaesCambridge University Press2012
Other Libraries in Japan

An introduction to category theory : hard : pbk

An introduction to category theory : hard : pbk
Paper図書
Harold SimmonsCambridge University Press2011
Other Libraries in Japan

Proof analysis : a contribution to Hilbert's last problem : hardback : paperback

Proof analysis : a contribution to Hilbert's last problem : hardback : paperback
Paper図書
Sara Negri, Jan von PlatoCambridge University Press2011
Other Libraries in Japan
  • Subject HeadingProof theory MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Proof theory MATHEMATICS / Logic. bisacsh

Graph structure and monadic second-order logic : a language-theoretic approach : hardback

Graph structure and monadic second-order logic : a language-theoretic approach : hardback
Paper図書
Bruno Courcelle, Joost EngelfrietCambridge University Press2012
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Graphic methods MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Graphic methods MATHEMATICS / Logic. bisacsh

Simple theories and hyperimaginaries

Simple theories and hyperimaginaries
Paper図書
Enrique CasanovasAssociation for Symbolic Logic2011
Other Libraries in Japan

Motivic integration and its interactions with model theory and non-Archimedean geometry v. 1 : pbk v. 2 : pbk

Motivic integration and its interactions with model theory and non-Archimedean geometry v. 1 : pbk v. 2 : pbk
Paper図書
edited by Raf Cluckers, Johannes Nicaise, Julien SebagCambridge University Press2011
Other Libraries in Japan

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
Paper図書
Robert GoldblattAssociation for Symbolic Logic2011
Other Libraries in Japan
  • Subject Heading...d mathematical MATHEMATICS / Logic. bisacsh
  • Subject Heading (ID)...d mathematical MATHEMATICS / Logic. bisacsh

Finite and algorithmic model theory : pbk

Finite and algorithmic model theory : pbk
Paper図書
edited by Javier Esparza, Christian Michaux, Charles SteinhornCambridge University Press2011
Other Libraries in Japan

Reached to the end of result.