Ketonen Oiva. “Luonnollisen päättelyn” kalkyylistä . Ajatus, vol. 12 , pp. 128–140

Journal of Symbolic Logic 11 (1):24-24 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269166

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Untersuchungen zum Prädikatenkalkul.Oiva Ketonen - 1945 - Journal of Symbolic Logic 10 (4):127-130.
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):418-435.
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
2016-06-30

Downloads
12 (#1,088,071)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references