Normal view
MARC view
SCHUSTER, Peter (Personal Name)
Machine generated authority record.
Work cat.: (UDJG): Concepts of Proof in Mathematics, Philosophy, and Computer Science, 2016