Contributions to non-standard analysis /
Symposium on Non-Standard Analysis(1970 :Oberwolfach)
Luxemburg, Wilhelmus Anthonius Josephus.
Robinson, Abraham.
Amsterdam ;  London :  North-Holland Publishing Company, 
1972.
Based on lectures given at the Symposium on Non-standard Analysis which took place in Oberwolfach ... July 19-July 25, 1970.
Mathematical analysis
Logic, Symbolic and mathematical