scientific article

zbMath0606.03017MaRDI QIDQ3744159

Vladimir Lifschitz

Publication date: 1985

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

zbMATH Keywords

intuitionistic arithmeticconstructive arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Related Items

To be or not to be constructive, that is not the question, Proofs and programs: A naïve approach to program extraction, A functional interpretation for nonstandard arithmetic