| 1976 |
|---|
| 10 | | M. H. Lob:
Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic.
J. Symb. Log. 41(4): 705-718 (1976) |
| 1974 |
|---|
| 9 | | M. H. Lob:
Correction to 'A Model Theoretic Characterisation of Effective Operations'.
J. Symb. Log. 39(2): 225 (1974) |
| 1972 |
|---|
| 8 | | M. H. Lob:
A Reduction Theorem for Predicate Logic.
J. Symb. Log. 37(2): 352-354 (1972) |
| 1970 |
|---|
| 7 | | M. H. Lob:
A Model Theoretic Characterization of Effective Operations.
J. Symb. Log. 35(2): 217-222 (1970) |
| 1968 |
|---|
| 6 | | M. H. Lob,
F. R. Drake,
John Derrick:
Meeting of the Association for Symbolic Logic Leeds 1967.
J. Symb. Log. 33(3): 490 (1968) |
| 1966 |
|---|
| 5 | | M. H. Lob:
Extensional Interpretations of Modal Logics.
J. Symb. Log. 31(1): 23-45 (1966) |
| 1962 |
|---|
| 4 | | M. H. Lob:
Meeting of the Association for Symbolic Logic, Leeds 1962.
J. Symb. Log. 27(3): 373-382 (1962) |
| 1956 |
|---|
| 3 | | M. H. Lob:
Formal Systems of Constructive Mathematics.
J. Symb. Log. 21(1): 63-75 (1956) |
| 1955 |
|---|
| 2 | | M. H. Lob:
Solution of a Problem of Leon Henkin.
J. Symb. Log. 20(2): 115-118 (1955) |
| 1953 |
|---|
| 1 | | M. H. Lob:
Concatenation as Basis for a Complete System of Arithmetic.
J. Symb. Log. 18(1): 1-6 (1953) |
