Oulie
Introduction to mathematical logic by Hans Hermes — Oulie