No CrossRef data available.
Article contents
A. Heyting. L'axiomatique intuitionniste. Congrès International de Philosophic des Sciences, Paris 1949, II Logique, Actuality scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 81–86.
Published online by Cambridge University Press: 12 March 2014
Abstract

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