Mathematical logic - Kleene, Stephen Cole (New York : John Wiley & Sons, 1968)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical; Mathematics -- -- Philosophy