M. H. Lob

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1976
Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic.
J. Symb. Log., 1976

1974
Correction to 'A Model Theoretic Characterisation of Effective Operations'.
J. Symb. Log., 1974

1972
A Reduction Theorem for Predicate Logic.
J. Symb. Log., 1972

1970
A Model Theoretic Characterization of Effective Operations.
J. Symb. Log., 1970

1968
Meeting of the Association for Symbolic Logic Leeds 1967.
J. Symb. Log., 1968

1966
Extensional Interpretations of Modal Logics.
J. Symb. Log., 1966

1962
Meeting of the Association for Symbolic Logic, Leeds 1962.
J. Symb. Log., 1962

1956
Formal Systems of Constructive Mathematics.
J. Symb. Log., 1956

1955
Solution of a Problem of Leon Henkin.
J. Symb. Log., 1955

1953
Concatenation as Basis for a Complete System of Arithmetic.
J. Symb. Log., 1953


  Loading...