Three views of logic : mathematics, philosophy, and computer science /
Loveland, Donald W.,author.
Hodel, Richard E.,author.
Sterrett, Susan G.,author.
Includes bibliographical references and index.
Proof theory.
Computable functions.
Nonclassical mathematical logic.