Association for Symbolic Logic

Lectures on Infinitary Model Theory

Marker, David
Published: October 2016

The Once and Future Turing

Computing the World

Cooper, S. Barry
Hodges, Andrew
Published: March 2016

Logic and Algebraic Structures in Quantum Computing

Chubb, Jennifer
Eskandarian, Ali
Harizanov, Valentina
Published: March 2016

Ordinal Definability and Recursion Theory

The Cabal Seminar, Volume III

Kechris, Alexander S.
Löwe, Benedikt
Steel, John R.
Published: January 2016
Volume 3

A Guide to NIP Theories

Simon, Pierre
Published: July 2015

Computation, Proof, Machine

Mathematics Enters a New Age

Dowek, Gilles
Guillot, Pierre
Roman, Marion
Published: May 2015

Pure Inductive Logic

Paris, Jeffrey
Vencovská, Alena
Published: April 2015

Interpreting Gödel

Critical Essays

Kennedy, Juliette
Published: August 2014

Turing's Legacy

Developments from Turing's Ideas in Logic

Downey, Rod
Published: May 2014

Tractability

Practical Approaches to Hard Problems

Bordeaux, Lucas
Hamadi, Youssef
Kohli, Pushmeet
Published: February 2014

Effective Mathematics of the Uncountable

Greenberg, Noam
Hirschfeldt, Denis
Hamkins, Joel David
(+ 1 other)
Published: October 2013

Proofs and Computations

Schwichtenberg, Helmut
Wainer, Stanley S.
Published: December 2011

Set Theory, Arithmetic, and Foundations of Mathematics

Theorems, Philosophies

Kennedy, Juliette
Kossak, Roman
Published: September 2011

Quantifiers, Propositions and Identity

Admissible Semantics for Quantified Modal and Substructural Logics

Goldblatt, Robert
Published: July 2011

Models and Games

Väänänen, Jouko
Published: May 2011

Dependence Logic

A New Approach to Independence Friendly Logic

Väänänen, Jouko
Published: May 2007