1994-12-01
Kleene's Realizability (for Cor Baayen)
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
K.R. Apt (Krzysztof) , A. Schrijver (Lex) , N.M. Temme (Nico) | |
Organisation | Logic and language |
Troelstra, A. S. (1994). Kleene's Realizability (for Cor Baayen). In K. Apt, L. Schrijver, & N. Temme (Eds.), . Stichting Mathematisch Centrum. |