1 Subjects: “...Set theory / Congresses...”

2 “... of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical...”

3 Table of Contents: “... Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized...”

4 “... of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a...”

5 “... introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite...”