Catalog

Set Theory With an Introduction to Real Point Sets

Problems and Theorems in Classical Set Theory

Games, Norms and Reasons Logic at the Crossroads

Combinatorics and Graph Theory

Methods of Cut-Elimination

Notes on Set Theory

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Mathematical Logic for Computer Science

Mathematical Logic Foundations for Information Science

Logic for Computer Scientists