Mathematical logic /
Kleene, Stephen Cole
Mathematical logic / Stephen Cole Kleene - New York : John Wiley, 1967 - xiii, 398p. illus., 24cm
Logic, Symbolic and mathematical
Predicate calculus
Proof theory
511.3 / KLE
Mathematical logic / Stephen Cole Kleene - New York : John Wiley, 1967 - xiii, 398p. illus., 24cm
Logic, Symbolic and mathematical
Predicate calculus
Proof theory
511.3 / KLE