TY - JOUR AU - Longo, Giuseppe TI - Appendix: from the Journal of Symbolic Logic JO - Séminaire de Philosophie et Mathématiques PY - 1993 SP - 29 EP - 33 IS - 2 PB - IREM Paris-Nord UR - http://archive.numdam.org/item/SPHM_1993___2_A3_0/ LA - en ID - SPHM_1993___2_A3_0 ER -