1 - Complete theories |
2 - Contributions to non-standard analysis : based on lectures given at the smposium on Nonstandard analysis which tokk place in Oberwolfach during the period July 19 - July 25, 1970 |
3 - Essays on the foundations of mathematics dedicated to A. A. Fraenkel on his Seventieth Anniversary |
4 - Introduction to model theory and to the metamathematics of algebra |
5 - Introduction to model theory and to the metamathematics of algebra - Second edition |
6 - Model theory and algebra : a memorial tribute to Abraham Robinson |
7 - Non-standard analysis |
8 - On the metamathematics of algebra |