Dieses Buch blickt in eine bedeutende Epoche der Philosophie der Mathematik zurück, deren Strömun...

Proofs play a central role in advanced mathematics and theoretical computer science, yet many stu...