Mathematical logic - Petkov, Petio Petrov (1990)