scientific article; zbMATH DE number 1418433
From MaRDI portal
Publication:4941988
zbMath0946.03073MaRDI QIDQ4941988
Publication date: 25 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items (2)
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Is Impredicativity Implicitly Implicit
This page was built for publication:
