Logic Colloquium

Lectures on Infinitary Model Theory

Marker, David
Published: October 2016

The Once and Future Turing

Computing the World

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

Practical Foundations for Programming Languages

Harper, Robert
Published: April 2016
2nd Edition

Logic and Algebraic Structures in Quantum Computing

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

Introduction to Random Graphs

Frieze, Alan
Karoński, Michał
Published: February 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

Proofs and Refutations

The Logic of Mathematical Discovery

Lakatos, Imre
Worrall, John
Zahar, Elie
Published: October 2015

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

Type Theory and Formal Proof

An Introduction

Nederpelt, Rob
Geuvers, Herman
Published: December 2014

Alan M. Turing

Centenary Edition

Turing, Sara
Published: November 2014

Interpreting Gödel

Critical Essays

Kennedy, Juliette
Published: October 2014

Turing's Legacy

Developments from Turing's Ideas in Logic

Downey, Rod
Published: September 2014

Analysis of Boolean Functions

O'Donnell, Ryan
Published: June 2014

Tractability

Practical Approaches to Hard Problems

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

Effective Mathematics of the Uncountable

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

Proofs and Computations

Schwichtenberg, Helmut
Wainer, Stanley S.
Published: January 2012

Set Theory, Arithmetic, and Foundations of Mathematics

Theorems, Philosophies

Kennedy, Juliette
Kossak, Roman
Published: October 2011

Quantifiers, Propositions and Identity

Admissible Semantics for Quantified Modal and Substructural Logics

Goldblatt, Robert
Published: August 2011