Funder
Deutsche Forschungsgemeinschaft
Johann Wolfgang Goethe-Universität, Frankfurt am Main
Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Bernays, P., Review of Ketonen (1944), The Journal of Symbolic Logic 10(4): 127-130 1945.
2. Gentzen, G. Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39: 176–210, 405–431, 1934–35.
3. Ketonen, O. Untersuchungen zum Prädikatenkalkül. Annales Academiae Scientiarum Fennicae, Series A, I. Mathematica-physica 23, Helsinki 1944.
4. Skolem, T. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Videnskapsselskapets Skrifter, I. Mat.-Naturv. Klasse, No. 4, Kristiania 1920.