Hao Wang. A variant to Turing's theory of computing machines. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 63–92. Reprinted as A variant to Turing's theory of calculating machines, in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 127–159. - Hao Wang. Universal Turing machines: an exercise in coding. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 69–80. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics. Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 160–174.

1963 ◽  
Vol 28 (4) ◽  
pp. 288-289
Author(s):  
Steven Orey
Keyword(s):  
Mathematical Logic ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Turing Machines ◽  
North Holland Publishing Company ◽  
Computing Machinery ◽  
Theory Of Computing ◽  
North Holland Publishing ◽  
Computing Machines

G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.

1959 ◽  
Vol 24 (3) ◽  
pp. 236-238
Author(s):  
William Craig
Keyword(s):  
Mathematical Logic ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Henri Poincaré ◽  
North Holland Publishing Company ◽  
Formal Systems ◽  
North Holland Publishing ◽  
Systems Studies ◽  
Mathematical Interpretation
Sign in / Sign up

Export Citation Format

Share Document