The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002