TY - JOUR T1 - Meeting of the Association for Symbolic Logic Leeds 1967. JO - J. Symb. Log. PY - 2014/03/12 AU - Lob MH AU - Drake FR AU - Derrick J ED - DO - DOI: 10.2307/2270367 VL - 33 SP - 490 EP - 490 Y2 - 2025/11/27 ER -