海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Between constructive and classical mathematicsBörger, Egon; Oberschelp, Walter; Richter, Michael M.; Schinzel, Brigitta; Thomas, Wolfgang · 1984
[Lecture Notes in Mathematics] Proof Theory and Intuitionistic Systems Volume 212 || Introduction and preliminaries, · 1971
[Lecture Notes in Mathematics] Proof Theory and Intuitionistic Systems Volume 212 || The Markov principle, · 1971
[Lecture Notes in Mathematics] Proof Theory and Intuitionistic Systems Volume 212 || The intuitionistic system of number theory, · 1971
[Lecture Notes in Mathematics] Proof Theory and Intuitionistic Systems Volume 212 || A review of Gentzen's second consistency proof, · 1971
[Lecture Notes in Mathematics] Universal Algebra and Lattice Theory Volume 1149 || Linear lattice proof theory: An overviewComer, Stephen D. · 1985
[Lecture Notes in Mathematics] Proof Theory and Intuitionistic Systems Volume 212 || Relative consistency proof of ZTN with respect to ZTi/IN*, · 1971
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