INTRODUCTION TO MATHEMATICAL LOGIC - Mendelson, Elliott (Princeton, N. J. Van Nostrand, 1964)
Keywords: Logic, Symbolic And Mathematical