An introduction to mathematical logic and type theory to truth through proof
Andrews, Peter B.(Peter Bruce)
Orlando London Academic
1986
Bibliography: p293-295. - Includes index
Logic, Symbolic and mathematical.