[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Realizability and functional interpretations
- 作者Troelstra, A. S.
- 文件大小22059.65KB
- 发表时间1973
- DOI10.1007/bfb0066742
- 页码175-274
同作者推荐
Author, author burning bright; author, author are you right?Pederson, T. · The FASEB Journal · 2006
AUTHOR AUTHOR AUTHORLYLE, W M · Optometry and Vision Science · 1994
Author repeating another author's mistakeDodds, M. H. · Notes and Queries · 1940
Authors and Authorities in Ancient Philosophy || Authors and Authorities in Ancient China: Some Comparative ObservationsBryan, Jenny; Wardy, Robert; Warren, James · 2018
AUTHOR'S CREDENTIALS AND NURSES AS AUTHORSDebra Dunn · 2003
AUTHOR'S CREDENTIALS AND NURSES AS AUTHORSNancy Girard · 2003
Authors repeating another author's mistakeForse, Edward J. G. · Notes and Queries · 1940
Authors repeating another author's mistakesH. G. L. K., · Notes and Queries · 1940