Associaton for Symbolic Logic

An Invitation to Applied Category Theory

Seven Sketches in Compositionality

Fong, Brendan
Spivak, David I.
Published: July 2019

An Introduction to the Philosophy of Logic

Cohnitz, Daniel
Estrada-González, Luis
Published: May 2019

Justification Logic

Reasoning with Reasons

Artemov, Sergei
Fitting, Melvin
Published: May 2019

Proof Complexity

Krajíček, Jan
Published: March 2019

Logical Modalities from Aristotle to Carnap

The Story of Necessity

Cresswell, Max
Mares, Edwin
Rini, Adriane
Published: January 2019

Quine, New Foundations, and the Philosophy of Set Theory

Morris, Sean
Published: December 2018

Abstract Recursion and Intrinsic Complexity

Moschovakis, Yiannis N.
Published: December 2018

Slenderness

Dimitric, Radoslav
Published: December 2018
Volume 1. Abelian Categories

The Significance of the New Logic

Quine, Willard Van Orman
Published: May 2018

Synthetic Differential Topology

Bunge, Marta
Gago, Felipe
San Luis, Ana María
Published: March 2018

Model Theory and the Philosophy of Mathematical Practice

Formalization without Foundationalism

Baldwin, John T.
Published: January 2018

Complexity Dichotomies for Counting Problems

Cai, Jin-Yi
Chen, Xi
Published: January 2018
Volume 1. Boolean Domain

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Grohe, Martin
Published: August 2017

Lectures on Infinitary Model Theory

Marker, David
Published: October 2016

Temporal Logics in Computer Science

Finite-State Systems

Demri, Stéphane
Goranko, Valentin
Lange, Martin
Published: October 2016

Set Theory

A First Course

Cunningham, Daniel W.
Published: July 2016

Pure Inductive Logic

Paris, Jeffrey
Vencovská, Alena
Published: April 2015

Basic Category Theory

Leinster, Tom
Published: July 2014

Lambda Calculus with Types

Barendregt, Henk
Dekkers, Wil
Statman, Richard
Published: June 2013