Hao Wang. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 57–84.

1957 ◽  
Vol 22 (3) ◽  
pp. 292-293
Author(s):  
Clifford Spector
Keyword(s):  
Publishing Company ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
Formal Systems ◽  
North Holland Publishing ◽  
Systems Studies ◽  
Mathematical Interpretation

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