Readers' Most Anticipated Books for Fall 2025

Lecture Notes in Logic Series

49 primary works • 49 total works
This series serves researchers, teachers and students in the field of symbolic logic, broadly interpreted. The aim of the series is to bring publications to the logic community with the least possible delay and to provide rapid dissemination of the latest research. Scientific quality is the overriding criterion by which submissions are evaluated. M…

Book 1

Recursion Theory
by
4.00 · 1 Ratings · published 1995 · 12 editions
This volume, which ten years ago appeared as the f…

Shelve Recursion Theory

    • Rate it:

    Book 2

    Logic Colloquium '90: ASL Summer Meeting in Helsinki
    by
    0.00     · published 1993 · 6 editions
    Since their inception, the Perspectives in Logic a…

    Shelve Logic Colloquium '90: ASL Summer Meeting in Helsinki

    • Rate it:

    Book 3

    Fine Structure and Iteration Trees
    by
    0.00     · published 1994 · 6 editions
    Book by Mitchell, William J., Steel, John R.

    Shelve Fine Structure and Iteration Trees

    • Rate it:

    Book 4

    Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way
    by
    0.00     · published 1995 · 6 editions
    An advanced graduate course. Some knowledge of for…

    Shelve Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way

    • Rate it:

    Book 5

    Model Theory of Fields: Lecture Notes in Logic 5, Second Edition
    by
    0.00     · published 1996 · 8 editions
    The model theory of fields is a fascinating subjec…

    Shelve Model Theory of Fields: Lecture Notes in Logic 5, Second Edition

    • Rate it:

    Book 6

    Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6
    by
    5.00     · 1 Ratings · published 1996 · 6 editions
    This volume contains the proceedings of the confer…

    Shelve Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6

    • Rate it:

    Book 7

    A General Algebraic Semantics for Sentential Logics
    by
    0.00     · 3 editions
    Since their inception, the Perspectives in Logic a…

    Shelve A General Algebraic Semantics for Sentential Logics

    • Rate it:

    Book 8

    The Core Model Iterability Problem
    by
    4.00     · 1 Ratings · published 1996 · 5 editions
    Since their inception, the Perspectives in Logic a…

    Shelve The Core Model Iterability Problem

    • Rate it:

    Book 9

    Bounded Variable Logics and Counting: A Study in Finite Models
    by
    4.00     · 1 Ratings · published 1997 · 4 editions
    Since their inception, the Perspectives in Logic a…

    Shelve Bounded Variable Logics and Counting: A Study in Finite Models

    • Rate it:

    Book 10

    Aspects of Incompleteness
    by
    3.50     · 2 Ratings · published 2003 · 6 editions
    This thoroughly revised second edition of a classi…

    Shelve Aspects of Incompleteness

    • Rate it:

    Book 11

    Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
    by
    0.00     · 4 editions
    Since their inception, the Perspectives in Logic a…

    Shelve Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

    • Rate it:

    Book 12

    Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
    by
    0.00     · published 1998 · 2 editions
    The 1996 European Summer Meeting of the Associatio…

    Shelve Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

    • Rate it:

    Book 13

    Logic Colloquium '98: Lecture Notes in Logic 13
    by
    0.00     · published 2000 · 5 editions
    A compilation of papers presented at the 1998 Euro…

    Shelve Logic Colloquium '98: Lecture Notes in Logic 13

    • Rate it:

    Book 14

    Model Theory of Stochastic Processes
    by
    3.50     · 2 Ratings · published 2002 · 8 editions
    This book presents new research in probability the…

    Shelve Model Theory of Stochastic Processes

    • Rate it:

    Book 15

    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15
    by
    3.00     · 1 Ratings · published 2002 · 6 editions
    Solomon Feferman has shaped the field of foundatio…

    Shelve Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

    • Rate it:

    Book 16

    Inexhaustibility: A Non-Exhaustive Treatment
    by
    4.44     · 9 Ratings · published 2002 · 9 editions
    Gödel's Incompleteness Theorems are among the most…

    Shelve Inexhaustibility: A Non-Exhaustive Treatment

    • Rate it:

    Book 17

    Logic Colloquium '99
    by
    2.00     · 1 Ratings · published 2004 · 7 editions
    A compilation of papers presented at the 1999 Euro…

    Shelve Logic Colloquium '99

    • Rate it:

    Book 18

    The Notre Dame Lectures
    by
    0.00     · published 2005 · 6 editions
    Since their inception, the Perspectives in Logic a…

    Shelve The Notre Dame Lectures

    • Rate it:

    Book 19

    Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
    by
    0.00     · published 2005 · 6 editions
    This compilation of papers presented at the 2000 E…

    Shelve Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

    • Rate it:

    Book 20

    Logic Colloquium '01
    by
    0.00     · published 2005 · 5 editions
    A compilation of papers presented at the 2001 Euro…

    Shelve Logic Colloquium '01

    • Rate it:

    Book 21

    Reverse Mathematics 2001: Lecture Notes in Logic 21
    by
    0.00     · published 2005 · 6 editions
    Reverse Mathematics is a program of research in th…

    Shelve Reverse Mathematics 2001: Lecture Notes in Logic 21

    • Rate it:

    Book 22

    Intensionality: Lecture Notes in Logic 22
    by
    0.00     · published 2005 · 7 editions
    A compilation of articles about Intensionality in …

    Shelve Intensionality: Lecture Notes in Logic 22

    • Rate it:

    Book 23

    Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23
    by
    3.00     · 1 Ratings · published 2005 · 6 editions
    Logicism, as put forward by Bertrand Russell, was …

    Shelve Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

    • Rate it:

    Book 24

    Logic Colloquium '03: Proceedings of the Annual European Summer
    by
    0.00     · published 2006 · 5 editions
    A compilation of papers presented at the 2003 Euro…

    Shelve Logic Colloquium '03: Proceedings of the Annual European Summer

    • Rate it:

    Book 25

    Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25
    by
    4.00     · 1 Ratings · published 2006 · 5 editions
    A conference on Nonstandard Methods and Applicatio…

    Shelve Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25

    • Rate it:

    Book 26

    Logic in Tehran
    by
    0.00     · published 2006 · 5 editions
    This proceedings volume contains research papers i…

    Shelve Logic in Tehran

    • Rate it:

    Book 27

    Logic Colloquium '02: Lecture Notes in Logic 27
    by
    0.00     · published 2006 · 7 editions
    Logic Colloquium '02 includes articles from some o…

    Shelve Logic Colloquium '02: Lecture Notes in Logic 27

    • Rate it:

    Book 29

    Logic Colloquium 2004
    by
    0.00     · published 2007 · 4 editions
    Highlights of this volume from the 2004 Annual Eur…

    Shelve Logic Colloquium 2004

    • Rate it:

    Book 30

    Stable Domination and Independence in Algebraically Closed Valued Fields
    by
    5.00     · 1 Ratings · published 2007 · 8 editions
    This book addresses a gap in the model-theoretic u…

    Shelve Stable Domination and Independence in Algebraically Closed Valued Fields

    • Rate it:

    Book 31

    Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I
    by
    4.00     · 1 Ratings · published 2008 · 9 editions
    The proceedings of the Los Angeles Caltech-UCLA “C…

    Shelve Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I

    • Rate it:

    Book 42

    Turing's Legacy: Developments from Turing's Ideas in Logic
    by
    4.00     · 1 Ratings · published 2014 · 7 editions
    Alan Turing was an inspirational figure who is now…

    Shelve Turing's Legacy: Developments from Turing's Ideas in Logic

    • Rate it:

    Book 45

    Logic and Algebraic Structures in Quantum Computing
    by
    4.33     · 3 Ratings · 1 Reviews · 5 editions
    Arising from a special session held at the 2010 No…

    Shelve Logic and Algebraic Structures in Quantum Computing

    • Rate it:

    Book 47

    Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
    by
    0.00     · 4 editions
    Descriptive complexity theory establishes a connec…

    Shelve Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

    • Rate it:

    Book 48

    Abstract Recursion and Intrinsic Complexity
    by
    0.00     · 3 editions
    This book presents and applies a framework for stu…

    Shelve Abstract Recursion and Intrinsic Complexity

    • Rate it:

    Book 50

    Algorithmic Randomness: Progress and Prospects
    by
    0.00     · 2 editions
    The last two decades have seen a wave of exciting …

    Shelve Algorithmic Randomness: Progress and Prospects

    • Rate it:
    Logic Colloquium 2005
    by
    0.00     · published 2007 · 5 editions
    The Annual European Meeting of the Association for…

    Shelve Logic Colloquium 2005

    • Rate it:
    Logic Colloquium 2006
    by
    4.50     · 2 Ratings · published 2009 · 8 editions
    The Annual European Meeting of the Association for…

    Shelve Logic Colloquium 2006

    • Rate it:
    Logic Colloquium 2007
    by
    0.00     · published 2010 · 6 editions
    The Annual European Meeting of the Association for…

    Shelve Logic Colloquium 2007

    • Rate it:
    Kurt Gödel: Essays for his Centennial
    by
    4.57     · 7 Ratings · 1 Reviews · published 2010 · 5 editions
    Kurt Gödel (1906–1978) did groundbreaking work tha…

    Shelve Kurt Gödel: Essays for his Centennial

    • Rate it:
    A Framework for Priority Arguments
    by
    0.00     · published 2010 · 5 editions
    This book presents a unifying framework for using …

    Shelve A Framework for Priority Arguments

    • Rate it:
    Simple Theories and Hyperimaginaries
    by
    4.00     · 1 Ratings · published 2011 · 5 editions
    In the 1990s Kim and Pillay generalized stability,…

    Shelve Simple Theories and Hyperimaginaries

    • Rate it:
    Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
    by
    4.00     · 1 Ratings · published 2011 · 3 editions
    Many systems of quantified modal logic cannot be c…

    Shelve Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

    • Rate it:
    Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
    by
    0.00     · published 2011 · 5 editions
    This collection of papers from various areas of ma…

    Shelve Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

    • Rate it:
    Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II
    by
    4.00     · 1 Ratings · published 2011 · 6 editions
    The proceedings of the Los Angeles Caltech-UCLA 'C…

    Shelve Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II

    • Rate it:
    A Course in Model Theory
    by
    4.25     · 4 Ratings · published 2012 · 9 editions
    This concise introduction to model theory begins w…

    Shelve A Course in Model Theory

    • Rate it:
    Effective Mathematics of the Uncountable
    by
    4.00     · 1 Ratings · published 2013 · 9 editions
    Classical computable model theory is most naturall…

    Shelve Effective Mathematics of the Uncountable

    • Rate it:
    A Guide to NIP Theories
    by
    0.00     · published 2015 · 4 editions
    The study of NIP theories has received much attent…

    Shelve A Guide to NIP Theories

    • Rate it:
    Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III (Lecture Notes in Logic, Series Number 43)
    by
    4.00     · 1 Ratings · published 2015 · 3 editions
    The proceedings of the Los Angeles Caltech-UCLA 'C…

    Shelve Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III (Lecture Notes in Logic, Series Number 43)

    • Rate it:
    Lectures on Infinitary Model Theory
    by
    0.00     · 4 editions
    Infinitary logic, the logic of languages with infi…

    Shelve Lectures on Infinitary Model Theory

    • Rate it: