Evert W. Beth and Hugues Leblanc. A note on the intuitionist and the classical prepositional calculus. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 174–176.
Author:
T. Thacher Robinson©right=Copyright © Association for Symbolic Logic 1962
Publication:
Journal of Symbolic Logic
Publisher:
Cambridge University Press
Copyright © 2014, Cambridge University Press