Two papers on the predicate calculus / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994 | Kleene, Stephen Cole, 1909-1994. Permutability of inferences in Gentzen's calculi LK and LJ | Kleene, Stephen Cole, 1909-1994. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.
Series: Memoirs of the American Mathematical Society ; no. 10.Edition: Rev.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1967, c1952 (1985 printing)Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .