Gianluca Curzi

Dieser Artikel untersucht nicht gut begründete Beweise und ihre Rolle in der rechnerischen Logik.