Limits of AI - theoretical, practical, ethical

Set Theory and Logic

Gentzen's Centenary: The Quest for Consistency

The Legacy of Kurt Schütte

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Problems And Solutions In Mathematical Olympiad (Secondary 1)

Naive Set Theory

Axiomatic Thinking II

A Concise Introduction to Pure Mathematics: Edition 4

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Axiomatic Thinking I

Elements of Set Theory

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Axiomatic Set Theory

A Beginner's Further Guide To Mathematical Logic

Journey to the Edge of Reason: The Life of Kurt Gödel