M. H. Lob

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1976
j10		M. H. Lob: Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic. J. Symb. Log. 41(4): 705-718 (1976)
	1974
j9		M. H. Lob: Correction to 'A Model Theoretic Characterisation of Effective Operations'. J. Symb. Log. 39(2): 225 (1974)
	1972
j8		M. H. Lob: A Reduction Theorem for Predicate Logic. J. Symb. Log. 37(2): 352-354 (1972)
	1970
j7		M. H. Lob: A Model Theoretic Characterization of Effective Operations. J. Symb. Log. 35(2): 217-222 (1970)
	1968
j6		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
j5		M. H. Lob: Extensional Interpretations of Modal Logics. J. Symb. Log. 31(1): 23-45 (1966)
	1962
j4		M. H. Lob: Meeting of the Association for Symbolic Logic, Leeds 1962. J. Symb. Log. 27(3): 373-382 (1962)
	1956
j3		M. H. Lob: Formal Systems of Constructive Mathematics. J. Symb. Log. 21(1): 63-75 (1956)
	1955
j2		M. H. Lob: Solution of a Problem of Leon Henkin. J. Symb. Log. 20(2): 115-118 (1955)
	1953
j1		M. H. Lob: Concatenation as Basis for a Complete System of Arithmetic. J. Symb. Log. 18(1): 1-6 (1953)

Coauthor Index

1	John Derrick	[j6]
2	F. R. Drake	[j6]

Last update Tue May 21 00:25:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page