M. H. Lob

Publication Activity (10 Years)

Years Active: 1953-1976
Publications (10 Years): 0

Publications

M. H. Lob
Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic. J. Symb. Log. 41 (4) (1976)
M. H. Lob
Correction to 'A Model Theoretic Characterisation of Effective Operations'. J. Symb. Log. 39 (2) (1974)
M. H. Lob
A Reduction Theorem for Predicate Logic. J. Symb. Log. 37 (2) (1972)
M. H. Lob
A Model Theoretic Characterization of Effective Operations. J. Symb. Log. 35 (2) (1970)
M. H. Lob, F. R. Drake, John Derrick
Meeting of the Association for Symbolic Logic Leeds 1967. J. Symb. Log. 33 (3) (1968)
M. H. Lob
Extensional Interpretations of Modal Logics. J. Symb. Log. 31 (1) (1966)
M. H. Lob
Meeting of the Association for Symbolic Logic, Leeds 1962. J. Symb. Log. 27 (3) (1962)
M. H. Lob
Formal Systems of Constructive Mathematics. J. Symb. Log. 21 (1) (1956)
M. H. Lob
Solution of a Problem of Leon Henkin. J. Symb. Log. 20 (2) (1955)
M. H. Lob
Concatenation as Basis for a Complete System of Arithmetic. J. Symb. Log. 18 (1) (1953)