M. H. Lob

发表

Extensional Interpretations of Modal Logics

M. H. Lob, 1966, J. Symb. Log..

A Reduction Theorem for Predicate Logic

M. H. Lob, 1972, J. Symb. Log..

Formal Systems of Constructive Mathematics

M. H. Lob, 1956, J. Symb. Log..

A Model Theoretic Characterization of Effective Operations

M. H. Lob, 1970, J. Symb. Log..

Meeting of the Association for Symbolic Logic, Leeds 1962

M. H. Lob, 1962, J. Symb. Log..

Meeting of the Association for Symbolic Logic Leeds 1967

John Derrick, F. R. Drake, M. H. Lob, 1968, J. Symb. Log..

Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic

M. H. Lob, M. H. Lob, 1976, J. Symb. Log..

Concatenation as Basis for a Complete System of Arithmetic

M. H. Lob, M. H. Lob, 1953, J. Symb. Log..

Correction to 'A Model Theoretic Characterisation of Effective Operations'

M. H. Lob, 1974, J. Symb. Log..

Solution of a Problem of Leon Henkin

M. H. Lob, L. Henkin, M. H. Lob, 1955, J. Symb. Log..