Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences, Logique et Analyse (1960)

by S C Kleene
Venue:Nouvelle Serie