AMS: Mathematical logic and foundations / General logic

by Asta Halkjær From and Frederik Krogsdal Jacobsen

by Asta Halkjær From and Frederik Krogsdal Jacobsen

by Christoph Benzmüller

by Christoph Benzmüller and Sebastian Reiche

by Jasmin Christian Blanchette and Sophie Tourret

by Salomon Sickert

by Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider and Dmitriy Traytel

by Joshua Schneider and Dmitriy Traytel

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel

by Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

by Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen

by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas

by Dmitriy Traytel and Tobias Nipkow

by Jasmin Christian Blanchette and Andrei Popescu

by Tom Ridge