An Introduction to Mathematical Logic
            
                Dover Books on Mathematics
Publisher: Dover Publications
Published: 2013
ISBN-13: 9780486497853