書誌事項
Lecture notes in logic
Cambridge University Press
この図書・雑誌をさがす
注記
"A publication of The Association for Symbolic Logic"
Publishers varies: 1992-1999 Springer-Verlag ; 1999-2006 Association for Symbolic Logic, A K Peters, Ltd.(Co-publisher) ; 2007- Cambridge University Press
-
1
- The largest Suslin axiom
-
Grigor Sargsyan, Nam Trang
Cambridge University Press , Association for Symbolic Logic 2024 Lecture notes in logic 56
:hbk.
所蔵館1館
-
2
- The largest Suslin axiom
-
Grigor Sargsyan, Nam Trang
Cambridge University Press 2024 Lecture notes in logic 56
:hbk.
所蔵館1館
-
3
- A theory of truth
-
Yannis Stephanou
Cambridge University Press 2024 Lecture notes in logic 55
所蔵館2館
-
4
- A comparison process for mouse pairs
-
John R. Steel
Cambridge University Press c2023 Lecture notes in logic 51
所蔵館2館
-
5
- 3-multi-graphs and 2-multi-tournaments
-
Gregory Cherlin
Cambridge University Press 2022 Lecture notes in logic 54 . Homogeneous ordered graphs,
metrically homogeneous graphs, and beyond ; v. 2 :hbk.
所蔵館3館
-
6
- Ordered graphs and distanced graphs
-
Gregory Cherlin
Cambridge University Press 2022 Lecture notes in logic 53 . Homogeneous ordered graphs,
metrically homogeneous graphs, and beyond ; v. 1 :hbk.
所蔵館4館
-
7
- Complexity of infinite-domain constraint satisfaction
-
Manuel Bodirsky
Association for Symbolic Logic , Cambridge University Press 2021 Lecture notes in logic 52
所蔵館7館
-
8
- Large cardinals, determinacy and other topics
-
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Association for Symbolic Logic , Cambridge University Press 2021 Lecture notes in logic 49. The Cabal seminar ; v. 4
: hardback
所蔵館3館
-
9
- Algorithmic randomness : progress and prospects
-
edited by Johanna N.Y. Franklin, Christopher P. Porter
Association for Symbolic Logic , Cambridge Unviersity Press 2020 Lecture notes in logic 50
所蔵館7館
-
10
- Abstract recursion and intrinsic complexity
-
Yiannis N. Moschovakis
Cambridge University Press 2019 Lecture notes in logic 48
所蔵館8館
-
11
- Descriptive complexity, canonisation, and definable graph structure theory
-
Martin Grohe
Association for Symbolic Logic , Cambridge University Press 2017 Lecture notes in logic 47
: hardback
所蔵館6館
-
12
- A general algebraic semantics for sentential logics
-
Josep Maria Font, Ramon Jansana
Association for Symbolic Logic c2016 2nd ed. Lecture notes in logic 7
所蔵館1館
-
13
- Descriptive set theory and forcing : how to prove theorems about borel sets the hard way
-
Arnold W. Miller
Association for Symbolic Logic , Cambridge University Press c2016 Lecture notes in logic 4
: hardback
所蔵館1館
-
14
- Fine structure and iteration trees
-
William J. Mitchell, John R. Steel
Association for Symbolic Logic , Cambridge University Press c2016 Lecture notes in logic 3
hbk.
所蔵館2館
-
15
- Lectures on infinitary model theory
-
David Marker, University of Illinois, Chicago
Association for Symbolic Logic , Cambridge University Press 2016 Lecture notes in logic 46
: hbk
所蔵館3館
-
16
- Ordinal definability and recursion theory
-
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Association for Symbolic Logic , Cambridge University Press 2016 Lecture notes in logic 43 . The Cabal seminar ; v. 3
: hardback
所蔵館7館
-
17
- Logic and algebraic structures in quantum computing
-
edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov
Cambridge University Press 2016 Lecture notes in logic 45
: hard
所蔵館5館
-
18
- A guide to NIP theories
-
Pierre Simon
Cambridge University Press 2015 Lecture notes in logic
hbk.
所蔵館5館
-
19
- Turing's legacy : developments from Turing's ideas in logic
-
edited by Rod Downey
Association for Symbolic Logic , Cambridge University Press 2014 Lecture notes in logic 42
所蔵館8館
-
20
- Effective mathematics of the uncountable
-
edited by Noam Greenberg ... [et. al.]
Association for Symbolic Logic , Cambridge University Press 2013 Lecture notes in logic 41
: hbk.
所蔵館5館
