Introduction to mathematical logic university series - Mendelson Elliot (1964)
English