Jump to main content

yr 〜
yr

Search results 236

Bulletin of Symbolic Logic

Bulletin of Symbolic Logic
Paper雑誌雑誌タイトル
Association for Symbolic Logic<Z54-H838>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Journal of Symbolic Logic

Journal of Symbolic Logic
PaperRecording Media雑誌雑誌タイトル
Association for Symbolic Logic<Z52-A56>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Computable structure theory : within the arithmetic : hardback

Computable structure theory : within the arithmetic : hardback
Paper図書
Antonio MontalbánCambridge University Press2021
Other Libraries in Japan

Large cardinals, determinacy and other topics : hardback

Large cardinals, determinacy and other topics : hardback
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2021
Other Libraries in Japan

Complexity of infinite-domain constraint satisfaction

Complexity of infinite-domain constraint satisfaction
Paper図書
Manuel BodirskyAssociation for Symbolic Logic2021
Other Libraries in Japan

Algorithmic randomness : progress and prospects

Algorithmic randomness : progress and prospects
Paper図書
edited by Johanna N.Y. Franklin, Christopher P. PorterAssociation for Symbolic Logic2020
Other Libraries in Japan

A general algebraic semantics for sentential logics 2nd ed.

A general algebraic semantics for sentential logics 2nd ed.
Paper図書
Josep Maria Font, Ramon JansanaAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Note (General)... edition c2016 Association for Symbolic Logic under license to Cambridge Un...

Descriptive complexity, canonisation, and definable graph structure theory : hardback

Descriptive complexity, canonisation, and definable graph structure theory : hardback
Paper図書
Martin GroheAssociation for Symbolic Logic2017
Other Libraries in Japan

Admissible sets and structures : an approach to definability theory : hardback

Admissible sets and structures : an approach to definability theory : hardback
Paper図書
Jon BarwiseAssociation for Symbolic Logicc2016
Other Libraries in Japan

Higher recursion theory

Higher recursion theory
Paper図書
Gerald E. SacksAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

Fundamentals of stability theory

Fundamentals of stability theory
Paper図書
John T. BaldwinAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

Descriptive set theory and forcing : how to prove theorems about borel sets the hard way : hardback

Descriptive set theory and forcing : how to prove theorems about borel sets the hard way : hardback
Paper図書
Arnold W. MillerAssociation for Symbolic Logicc2016
Other Libraries in Japan

Model-theoretic logics

Model-theoretic logics
Paper図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Note (General)... edition c2016 Association for Symbolic Logic under license to Cambridge Un...

Essential stability theory

Essential stability theory
Paper図書
Steven BuechlerAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

Lectures on infinitary model theory : hbk

Lectures on infinitary model theory : hbk
Paper図書
David Marker, University of Illinois, ChicagoAssociation for Symbolic Logic2016
Other Libraries in Japan

Fine structure and iteration trees hbk.

Fine structure and iteration trees hbk.
Paper図書
William J. Mitchell, John R. SteelAssociation for Symbolic Logicc2016
Other Libraries in Japan

Metamathematics of first-order arithmetic

Metamathematics of first-order arithmetic
Paper図書
Petr Hájek, Pavel PudlákAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

Ordinal definability and recursion theory : hardback

Ordinal definability and recursion theory : hardback
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2016
Other Libraries in Japan

Computability in analysis and physics : hardback

Computability in analysis and physics : hardback
Paper図書
Marian B. Pour-El, J. Ian RichardsAssociation for symbolic logicc2016
Other Libraries in Japan

Pure inductive logic

Pure inductive logic
Paper図書
Jeffrey Paris, Alena VencovskáAssociation for Symbolic Logic : Cambridge University Press2015
Other Libraries in Japan
RSS