Journal of Symbolic Logic 11 (1):24-24 (1946)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2269166 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ketonen Oiva. Predikaattikalkyylin täydellisyydestä . Ajalus , Bd. 10 , S. 77–92.G. H. Von Wright - 1942 - Journal of Symbolic Logic 7 (3):126-126.
Young Ketonen and His Supreme Logical Discovery.Michael von Boguslawski - 2010 - Vienna Circle Institute Yearbook 14:203-217.
Review: Oiva Ketonen, On the Calculus "Of Natural Inference". [REVIEW]G. H. V. Wright - 1946 - Journal of Symbolic Logic 11 (1):24-24.
Predikaattikalkyylin Taydellisyydesta.Oiva Ketonen - 1942 - Journal of Symbolic Logic 7 (3):126-126.
On the Calculus "Of Natural Inference".Oiva Ketonen - 1946 - Journal of Symbolic Logic 11 (1):24-24.
Review: Th. Skolem, Recursive Arithmetic. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-170.
For Oiva Ketonen's 85th Birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4).
Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.
Review: R. Feys, Les Methodes Recentes de Deduction Naturelle. [REVIEW]Oiva Ketonen - 1947 - Journal of Symbolic Logic 12 (3):95-95.
Skolem Th.. Den Rekursive Aritmetikk . Norsk Matematisk Tidsskrift, Vol. 28 , Pp. 1–12.Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-170.
Review: Erik Gotlind, An Axiom System for the Propositional Calculus. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (1):52-52.
Review: Th. Skolem, Some Remarks on the Preceding Article of E. Hoff-Hansen. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-169.
Feys R.. Les méthodes récentes de déduction naturelle. Revue philosophique de Louvain, vol. 44 , pp. 370–400.Oiva Ketonen - 1947 - Journal of Symbolic Logic 12 (3):95-95.
Götlind Erik. Om nágra ekvivalenssatser i tvavärdelogiken . Norsk matematisk tidsskrift, vol. 28 , pp. 71–75.Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (1):51-52.
Analytics
Added to PP index
2016-06-30
Total views
9 ( #885,907 of 2,403,077 )
Recent downloads (6 months)
2 ( #361,711 of 2,403,077 )
2016-06-30
Total views
9 ( #885,907 of 2,403,077 )
Recent downloads (6 months)
2 ( #361,711 of 2,403,077 )
How can I increase my downloads?
Downloads
