Publication | Closed Access

Cambridge, Mass., 1967.[Kle52a] SC Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.[Kle52b] SC Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Memoirs of the AMS, 10, 1952.[KW84] J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. The Journal

Formal LogicNon-monotonic LogicEngineeringPredicate CalculusAutomated ReasoningCalculi LkR. WeyhrauchClassical LogicFormal MethodsMathematical FoundationsFirst-order LogicFormal SystemLanguage StudiesSemanticsHigher-order LogicLogical Formalism