[Studies in Logic and the Foundations of Mathematics] Selected Papers on Automath Volume 133 || The Language Theory of Automath Chapter VIII, 1 and 2 (AUT-II)
- 作者van Daalen, D.T.
- 文件大小539.50KB
- 发表时间1994
- DOI10.1016/s0049-237x(08)70212-x
- 页码303-312
同作者推荐
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