TY - JOUR AU - Stahl, Gérold TI - Existence et non-existence en logique mathématique JO - Séminaire de Philosophie et Mathématiques PY - 1989 SP - 1 EP - 24 IS - 3 PB - IREM Paris-Nord UR - http://www.numdam.org/item/SPHM_1989___3_A1_0/ LA - fr ID - SPHM_1989___3_A1_0 ER -