On the Early History of Intuitionistic Logic

Abstract

We describe the early history of intuitonistic logic, its formalization and the genesis of the so-called Brouwer-Heyting-Kolmogorov interpretation. In particular we discuss at some length whether Heyting’s papers contain an anticipation of logic with existence predicate. Finally we publish some source material, in particular letters of Bemays, Glivenko and Kolmogorov to Heyting.