No CrossRef data available.
Article contents
Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 (1951), pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 (1952), pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 (1953), pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 9–10.
Review products
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1956