[Lecture Notes in Mathematics] Proof Theory and Intuitionistic Systems Volume 212 || Harrop formulas
- 作者,
- 文件大小1264.84KB
- 发表时间1971
- DOI10.1007/bfb0068791
- 页码217-247
同作者推荐
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