TY - JOUR AU - Mundici, Daniele TI - Robinson consistency theorem in soft model theory JO - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali PY - 1979 SP - 383 EP - 386 VL - 67 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RLINA_1979_8_67_6_a0/ LA - en ID - RLINA_1979_8_67_6_a0 ER -