X-2016-04: Tim van der Molen The Johansson/Heyting letters and the birth of minimal logic 1.Full Text, 2.Abstract. < Back
