van Dalen, Dirk The creative subject and Heyting’s arithmetic. (English) Zbl 0518.03025 Universal algebra and applications, Semester 1978, Banach Cent. Publ. 9, 379-382 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03F55 Intuitionistic mathematics Keywords:creative subject; Heyting’s arithmetic Citations:Zbl 0499.00007; Zbl 0399.03049 PDFBibTeX XML Full Text: EuDML