SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

M. H. Lob: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP