1
The axiomatic method [E-Book] /
2
Cantor und die Franzosen [E-Book] : Mathematik, Philosophie und das Unendliche /
3
Grenzen der Mathematik [E-Book] : Eine Reise durch die Kerngebiete der mathematischen Logik /
4
Infinity and truth [E-Book] /
5
Logische Grundlagen der Mathematik [E-Book] /
6
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 [E-Book] /
7
Mathematische Logik [E-Book] /
8
New essays on Tarski and philosophy / [E-Book]
9
The Oxford handbook of philosophy of mathematics and logic / [E-Book]
10
Symbolic computation and education / [E-Book]