Concepedia

K. Jaakko Hintikka. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 57–115.

Journal of Symbolic Logic · 1966 · 25 citations · 0 references

Concepts

HumanitiesPhilosophyFormal MethodsLogicMathematical LogicNon-classical LogicPredicate LogicType SystemsReductionsSymbolic LogicType Theory

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.