On proof procedures in mathematics.

From MaRDI portal
Publication:1558509