Logique mathématique et analyse non-standard
Séminaire de théorie des nombres de Bordeaux (1968-1969), Exposé no. 13, pp. 1-12.
@article{STNB_1968-1969____A13_0,
     author = {Dress, Fran\c{c}ois},
     title = {Logique math\'ematique et analyse non-standard},
     journal = {S\'eminaire de th\'eorie des nombres de Bordeaux},
     note = {talk:13},
     pages = {1--12},
     publisher = {Laboratoire de th\'eorie des nombres - Universit\'e de Bordeaux I},
     year = {1968-1969},
     zbl = {0299.02067},
     language = {fr},
     url = {http://www.numdam.org/item/STNB_1968-1969____A13_0/}
}
TY  - JOUR
AU  - Dress, François
TI  - Logique mathématique et analyse non-standard
JO  - Séminaire de théorie des nombres de Bordeaux
N1  - talk:13
PY  - 1968-1969
SP  - 1
EP  - 12
PB  - Laboratoire de théorie des nombres - Université de Bordeaux I
UR  - http://www.numdam.org/item/STNB_1968-1969____A13_0/
LA  - fr
ID  - STNB_1968-1969____A13_0
ER  - 
%0 Journal Article
%A Dress, François
%T Logique mathématique et analyse non-standard
%J Séminaire de théorie des nombres de Bordeaux
%Z talk:13
%D 1968-1969
%P 1-12
%I Laboratoire de théorie des nombres - Université de Bordeaux I
%U http://www.numdam.org/item/STNB_1968-1969____A13_0/
%G fr
%F STNB_1968-1969____A13_0
Dress, François. Logique mathématique et analyse non-standard. Séminaire de théorie des nombres de Bordeaux (1968-1969), Exposé no. 13, pp. 1-12. http://www.numdam.org/item/STNB_1968-1969____A13_0/

G Kreisel & J.L. Krivine - Eléments de logique mathématique - Dunod (Paris) 1967. | MR | Zbl

A Robinson - Non-standard analysis. North Holland Publishing Co (Amsterdam) 1966. | MR | Zbl