Mathematical logic by S. W. P. Steen | Menrva Books