dblp.uni-trier.dewww.uni-trier.de

M. H. Lob Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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)

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)