Introduction to mathematical logic - Mendelson, Elliott (New Jersey : Nostrand, 1964)
Includes index.
Bibliography: p. 272-287.
Keywords: Mathematical logic