scientific article; zbMATH DE number 1028828

zbMath0875.03037MaRDI QIDQ4342091

Allen P. Hazen

Publication date: 8 July 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

The seven virtues of simple type theory, Tarski on ``essentially richer metalanguages, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC