A concise introduction to mathematical logic

Wolfgang Rautenberg

New York, 2006