TY  - BOOK
AU  - Shapiro, Stewart [ed.]
TI  - INTERNATIONAL MATHEMATICS
U1  - 511 
PY  - 1985///
CY  - Amsterdam
PB  - North-Holland
KW  - Modality (Logic) -- Addresses, Essays, Lectures
KW  - Constructive Mathematics -- Addresses, Essays, Lectures
KW  - Intuitionistic Mathematics -- Addresses, Essays, Lectures
ER  -