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

1 | John Derrick | [6] |

2 | F. R. Drake | [6] |