Mathematical logic and theoretical computer science by Smith, Carl H. | Menrva Books