Concatenation as Basis for a Complete System of Arithmetic. - M. H. Lob (J. Symb. Log., 1953)

Solution of a Problem of Leon Henkin. - M. H. Lob (J. Symb. Log., 1955)

Formal Systems of Constructive Mathematics. - M. H. Lob (J. Symb. Log., 1956)

Meeting of the Association for Symbolic Logic, Leeds 1962. - M. H. Lob (J. Symb. Log., 1962)

Extensional Interpretations of Modal Logics. - M. H. Lob (J. Symb. Log., 1966)

Meeting of the Association for Symbolic Logic Leeds 1967. - M. H. Lob; F. R. Drake; John Derrick (J. Symb. Log., 1968)

A Model Theoretic Characterization of Effective Operations. - M. H. Lob (J. Symb. Log., 1970)

A Reduction Theorem for Predicate Logic. - M. H. Lob (J. Symb. Log., 1972)

Correction to 'A Model Theoretic Characterisation of Effective Operations'. - M. H. Lob (J. Symb. Log., 1974)

Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic. - M. H. Lob (J. Symb. Log., 1976)