TY  - JOUR

T1  - Meeting of the Association for Symbolic Logic: Orleans, France, 1972.

JO  - J. Symb. Log.

PY  - 1974/01/01

AU  - Calais JP

AU  - Derrick J

AU  - Sabbagh G

ED  - 

VL  - 39

SP  - 371

EP  - 389

Y2  - 2024/12/22

ER  -