Hao Wang. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382.

1964 ◽  
Vol 29 (3) ◽  
pp. 147-147
Author(s):  
Steven Orey
Keyword(s):  
Mathematical Logic ◽  
Number Theory ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
North Holland Publishing ◽  
Partial Systems

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