TY  - JOUR

T1  - Meeting of the Association for Symbolic Logic Leeds 1967.

JO  - J. Symb. Log.

PY  - 1968/01/01

AU  - Lob MH

AU  - Drake FR

AU  - Derrick J

ED  - 

VL  - 33

SP  - 490

EP  - 490

Y2  - 2024/12/26

ER  -