scientific article
From MaRDI portal
Publication:2878198
zbMath1311.01046MaRDI QIDQ2878198
Publication date: 28 August 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items (2)
Delimited control operators prove double-negation shift ⋮ Verificationism and Classical Realizability
This page was built for publication:
