Lecture Notes in Logic

American Mathematical Society Translations: Series 2

Vol. 56 Sargsyan, Grigor; Trang, Nam

The largest Suslin axiom

QA248 S3465

Vol. 55 Stephanou, Yannis

A theory of truth

BC171 S655

Vol. 54 Cherlin, Gregory L.

Homogeneous ordered graphs, metrically homogeneous graphs, and beyondVolume II. 3-multi-graphs and 2-multi-tournaments

QA166.15 C445 V. II

Vol. 53 Cherlin, Gregory L.

Homogeneous ordered graphs, metrically homogeneous graphs, and beyond. Volume I. Ordered graphs and distanced graphs

QA166.15 C445 V. I

Vol. 52 Bodirsky, Manuel

Complexity of infinite-domain constraint satisfaction

QA76.612 B635

Vol. 51 Steel, John R.

A comparison process for mouse pairs

QA248 S735

Vol. 50 Franklin, Johanna; Porter, Christopher P. (Eds.)

Algorithmic randomness : progress and prospects

QA267.7 A545

Vol. 49 Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.

The Cabal seminar. Volume IV: Large cardinals, determinacy and other topics

QA269 C33 V. IV

Vol. 48 Moschovakis, Yiannis N.

Abstract recursion and intrinsic complexity

QA9.58 M67

Vol. 47 Grohe, Martin

Descriptive complexity, canonisation, and definable graph structure theory

QA166 G7576

Vol. 46 Marker, David

Lectures on infinitary model theory

QA9.37 M37

Vol. 45 Chubb, Jennifer (Ed.)

Logic and algebraic structures in quantum computing

QA76.889 L63

Vol. 44 Simon, Pierre

A guide to NIP theories

QA9.7 S54

Vol. 43 Kechris, A. S.; Löwe, Benedikt; Steel, John R. (Eds.)

The Cabal seminar. Volume III: Ordinal definability and recursion

QA269 C33 V. III

Vol. 42 Downey, Rod G. (Ed.)

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

QA267.7 T87

Vol. 41 Greenberg, Noam; Hamkins, Joel David; Hirschfeldt, Denis; Miller, Russell (Ed.)

Effective mathematics of the uncountable /

QA9.7 E44

Vol. 40 Tent, Katrin; Ziegler, Martin

A course in model theory

QA9.7 T46

Vol. 39 Casanovas, Enrique

Simple theories and hyperimaginaries

QA9.7 C37

Vol. 38 Goldblatt, Robert

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

QA9.46 G66

Vol. 37 Kechris, A. S. (Ed.)

The Cabal seminar. Volume II: Wedge degrees and projective ordinals

QA269 C33 V. II

Vol. 36 Kennedy, Juliette; Kossak, Roman (Eds.)

Set theory, arithmetic, and foundations of mathematics : theorems, philosophies

QA248 S455

Vol. 35 Delon, Françoise (Ed.)

Logic Colloquium 2007

QA9.A1 L635 2007b

Vol. 34 Lerman, Manuel

A framework for priority arguments

QA9.54 L47

Vol. 33 Feferman, Solomon; Parsons, Charles; Simpson, Stephen George (Ed.)

Kurt Gödel : essays for his centennial

QA9.2 K87

Vol. 32 Cooper, S. Barry (Ed.)

Logic Colloquium 2006

QA9.A1 L635 2006

Vol. 31 Kechris, A. S.; Löwe, Benedikt; Steel, John R. (Eds.)

The Cabal seminar. Volume I: Games, scales, and suslin cardinals

QA269 C33 V. I

Vol. 30 Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Dugald

Stable domination and independence in algebraically closed valued fields

QA9.7 H37

Vol. 29 Andretta, Alessandro; Kearnes, Keith; Zambella, Domenico (Eds.)

Logic Colloquium 2004

QA9.A1 L635 2007

Vol. 28 Dimitracopoulos, Costas (Ed.)

Logic Colloquium 2005

QA9.A1 L63 2000

Vol. 27 Chatzidakis, Zoé; Koepke, Peter; Pohlers, Wolfram (Eds.)

Logic Colloquium ’02

QA9.A1 L635 2002

Vol. 26 Enayat, Ali; Kalantari, Iraj; Moniri, Mojtaba (Ed.)

Logic in Tehran

QA9.A1 W67 2003

Vol. 25 Cutland, Nigel; Di Nasso, Mauro; Ross, David A. (Ed.)

Nonstandard methods and applications in mathematics

QA299.82 N6884

Vol. 24 Stoltenberg-Hansen, Viggo (Ed.)

Logic Colloquium ’03

QA9.A1 L635 2003

Vol. 23 Gilmore, Paul Carl

Logicism renewed : logical foundations for mathematics and computer science

QA9.2 G55

Vol. 22 Kahle, Reinhard (Ed.)

Intensionality

QA9.A1 I565

Vol. 21 Simpson, Stephen George (Ed.)

Reverse mathematics 2001

QA9.25 R48

Vol. 20 Baaz, Matthias; Friedman, Sy-David; Krajíček, Jan (Eds.)

Logic Colloquium 2001

QA9.A1 L63 2005b

Vol. 19 Cori, René; Razborov, Alexander; Todorčević, Stevo; Wood, Carol (Eds.)

Logic Colloquium 2000

QA9.A1 L63 2000

Vol. 18 Cholak, Peter (Ed.)

The Notre Dame lectures

QA9.2 N67

Vol. 17 Eijck, Jan van; Oostrom, Vincent van; Visser, Albert (Ed.)

Logic Colloquium '99

QA9.A1 L63 2004

Vol. 16 Franzén, Torkel

Inexhaustibility : a non-exhaustive treatment

QA9.56 F73

Vol. 15 Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn (Eds.)

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman

QA9.A1 R44

Vol. 14 Fajardo, Sergio; Keisler, H. Jerome

Model theory of stochastic processes

QA274 F35

Vol. 13 Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel (Eds.)

Logic Colloquium ’98

QA9.A1 L63 1998

Vol. 12 Larrazabal, Jesus M. (Ed.)

Logic colloquium ’96

QA9.A1 L63 1996

Vol. 11 Makowsky, Johann A.; Ravve, Elena V. (Ed.)

Logic Colloquium ’95

QA9.A1 L62 1995

Vol. 10 Lindstrom, Per

Aspects of incompleteness

QA9.65 L55

Vol. 9 Otto, Martin

Bounded variable logics and counting : a study in finite models

QA9.7 O77 1997

Vol. 8 Steel, John R.

The Core model iterablility problem

QA248 S74 1996

Vol. 7 Font Rius, José María

A general algebraic semantics for sentenial logics -- 2nd ed.

QA267.3 F65

Vol. 6 Hajek, Petr (Ed.)

Godel ’96 : logical foundations of mathematics, computer science, and physics, Kurt Godel’s legacy

QA9.A1 G63 1996

Vol. 5 Marker, David

Model theory of fields -- 2nd ed.

QA9.7 M37 2006

Vol. 4 Miller, Arnold W.

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

QA248 M5513 2016

Vol. 3 Mitchell, William J.

Fine structure and iteration trees

QA9.56 M57

Vol. 2 Oikkonen, Juha; Väänänen, Jouko (Ed.)

Logic colloquium ’90

BC51 L65

Vol. 1 Shoenfield, Joseph Robert

Recursion theory

QA9.6 S46