M. H. Lob

According to our database, M. H. Lob authored at least 10 papers between 1953 and 1976.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1976

Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic.

M. H. Lob

J. Symb. Log., 1976

1974

Correction to 'A Model Theoretic Characterisation of Effective Operations'.

M. H. Lob

J. Symb. Log., 1974

1972

A Reduction Theorem for Predicate Logic.

M. H. Lob

J. Symb. Log., 1972

1970

A Model Theoretic Characterization of Effective Operations.

M. H. Lob

J. Symb. Log., 1970

1968

Meeting of the Association for Symbolic Logic Leeds 1967.

M. H. Lob, F. R. Drake, John Derrick

J. Symb. Log., 1968

1966

Extensional Interpretations of Modal Logics.

M. H. Lob

J. Symb. Log., 1966

1962

Meeting of the Association for Symbolic Logic, Leeds 1962.

M. H. Lob

J. Symb. Log., 1962

1956

Formal Systems of Constructive Mathematics.

M. H. Lob

J. Symb. Log., 1956

1955

Solution of a Problem of Leon Henkin.

M. H. Lob

J. Symb. Log., 1955

1953

Concatenation as Basis for a Complete System of Arithmetic.

M. H. Lob

J. Symb. Log., 1953