On the quantifier of limiting realizability
From MaRDI portal
Publication:1147135
DOI10.1007/BF01693989zbMath0449.03058MaRDI QIDQ1147135
Publication date: 1980
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
03F50: Metamathematics of constructive systems
Cites Work