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

Powered by Koha