scientific article
From MaRDI portal
Publication:3937386
zbMath0481.03034MaRDI QIDQ3937386
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items (4)
Negative translations not intuitionistically equivalent to the usual ones ⋮ A realizability interpretation for classical analysis ⋮ A complexity analysis of functional interpretations ⋮ Notes on constructive negation
This page was built for publication:
