TY  - JOUR
AU  - Bunge, Marta
AU  - Funk, Jonathon
AU  - Jibladze, Mamuka
AU  - Streicher, Thomas
TI  - On the paper definable completeness
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2009
SP  - 156
EP  - 156
VL  - 50
IS  - 2
PB  - Andrée CHARLES EHRESMANN
UR  - http://www.numdam.org/item/CTGDC_2009__50_2_156_0/
LA  - en
ID  - CTGDC_2009__50_2_156_0
ER  -