Introduction to mathematical logic - Mendelson, Elliott; Mendelson, Elliott (new york : D. Van Nostrand company, inc, 1964)
Includes index.
Bibliography: p. 289-307.
All Ages.
Keywords: Logic, Symbolic and mathematical