INTERNATIONAL MATHEMATICS - Shapiro, Stewart [ed.] (Amsterdam North-Holland, 1985)
Keywords: Modality (Logic) -- Addresses, Essays, Lectures; Constructive Mathematics -- Addresses, Essays, Lectures; Intuitionistic Mathematics -- Addresses, Essays, Lectures