Rautenberg, Wolfgang. Concise introduction to mathematical logic - 3rd ed. - New York : Springer, 2010. - xxi, 319p. : ill. ; 25 cm. - Universitext . Includes bibliographical references and index. ISBN: 9781441912206 Subjects--Topical Terms: Logic Dewey Class. No.: 511.3 / RAU