TY  - BOOK
AU  - Lolli,G.
AU  - Longo,G.
AU  - Marcja,A.
ED  - Proceedings of the Colloquim
TI  - Logic Colloquim'82
U1  - 511.2076 
PY  - 1983///
CY  - New York
PB  - Elsevier Science Pub.
KW  - Nonstandard mathematical analysis
KW  - Mathematical analysis
KW  - Calculus
ER  -