The Mathematics of Sentence Structure
暂无分享,去创建一个
[1] Otto Jespersen,et al. The Philosophy of Grammar , 1924 .
[2] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .
[3] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[4] R. Carnap. Logical Syntax of Language , 1937 .
[5] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.
[6] W. Quine,et al. Review: Alonzo Church, A Formulation of the Simple Theory of Types , 1940, Journal of Symbolic Logic.
[7] H. B. Curry. A Theory Of Formal Deducibility , 1950 .
[8] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[9] Y. Bar-Hillel. A Quasi-Arithmetical Notation for Syntactic Description , 1953 .
[10] R. L. Goodstein,et al. Lecons de logique algebrique , 1953, Mathematical Gazette.
[11] W. N. Locke,et al. Machine Translation of Languages , 1956 .
[12] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .
[13] Noam Chomsky,et al. Three models for the description of language , 1956, IRE Trans. Inf. Theory.