Arithmetical realizability and primitive recursive realizability
From MaRDI portal
Publication:2362860
DOI10.3103/S0027132216040069zbMath1420.03142OpenAlexW2535647996MaRDI QIDQ2362860
Publication date: 14 July 2017
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3103/s0027132216040069
Related Items (3)
A Generalized Realizability and Intuitionistic Logic ⋮ General recursive realizability and basic logic ⋮ General recursive realizability and intuitionistic logic
Cites Work
This page was built for publication: Arithmetical realizability and primitive recursive realizability