Jump to main content

yr 〜
yr

Search results 70

S. Leśniewski's lecture notes in logic

S. Leśniewski's lecture notes in logic
Paper図書
edited by Jan T.J. Srzednicki and Zbigniew StachniakKluwer Academic Publishersc1988
Other Libraries in Japan
  • Alternative TitleLecture notes in logic
  • Alternative TitleLecture notes in logic

The largest Suslin axiom :hbk.

The largest Suslin axiom :hbk.
Paper図書
Grigor Sargsyan, Nam TrangCambridge University Press2024
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

A theory of truth

A theory of truth
Paper図書
Yannis StephanouCambridge University Press2024
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

A comparison process for mouse pairs

A comparison process for mouse pairs
Paper図書
John R. SteelCambridge University Pressc2023
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

Ordered graphs and distanced graphs :hbk.

Ordered graphs and distanced graphs :hbk.
Paper図書
Gregory CherlinCambridge University Press2022
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

3-multi-graphs and 2-multi-tournaments :hbk.

3-multi-graphs and 2-multi-tournaments :hbk.
Paper図書
Gregory CherlinCambridge University Press2022
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

Complexity of infinite-domain constraint satisfaction

Complexity of infinite-domain constraint satisfaction
Paper図書
Manuel BodirskyAssociation for Symbolic Logic2021
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

Abstract recursion and intrinsic complexity

Abstract recursion and intrinsic complexity
Paper図書
Yiannis N. MoschovakisCambridge University Press2019
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Note (General)...ication in the Lecture Notes in Logic series
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

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
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

Logic and algebraic structures in quantum computing : hard

Logic and algebraic structures in quantum computing : hard
Paper図書
edited by Jennifer Chubb, Ali Eskandarian, Valentina HarizanovCambridge University Press2016
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

A guide to NIP theories hbk.

A guide to NIP theories hbk.
Paper図書
Pierre SimonCambridge University Press2015
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

Turing's legacy : developments from Turing's ideas in logic

Turing's legacy : developments from Turing's ideas in logic
Paper図書
edited by Rod DowneyAssociation for Symbolic Logic2014
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic

Effective mathematics of the uncountable : hbk.

Effective mathematics of the uncountable : hbk.
Paper図書
edited by Noam Greenberg ... [et. al.]Association for Symbolic Logic2013
Other Libraries in Japan
  • Related MaterialLecture notes in logic
  • Periodical TitleLecture notes in logic
RSS