Martin Löb

Available identifiers

zbMath Open lob.m-hFactGridQ226238WikidataQ68539 ScholiaQ68539MaRDI QIDQ6481229

List of research outcomes

Publication	Date of Publication	Type
Embedding first order predicate logic in fragments of intuitionistic logic	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775861	1974-01-01	Paper
Correction to ‘A model theoretic characterisation of effective operations’	1974-01-01	Paper
A reduction theorem for predicate logic	1972-01-01	Paper
Hierarchies of number-theoretic functions I, II: A correction	1971-01-01	Paper
Hierarchies of number-theoretic functions. I	1970-01-01	Paper
Hierarchies of number-theoretic functions II	1970-01-01	Paper
A model theoretic characterization of effective operations	1970-01-01	Paper
Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion	1968-01-01	Paper
Extensional interpretations of modal logics	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5724767	1959-01-01	Paper
Formal systems of constructive mathematics	1956-01-01	Paper
Solution of a problem of Leon Henkin	1955-01-01	Paper
Concatenation as basis for a complete system of arithmetic	1953-01-01	Paper

Research outcomes over time

This page was built for person: Martin Löb