Kleene, Stephen Cole

Two papers on the predicate calculus - Providence, R.I. : American Mathematical Society, 1967, c1952 - 1 online resource (68 p.) - Memoirs of the American Mathematical Society, 1947-6221 ; .

9780821898895 (online)