Foundations of Mathematical Logic (1976)

by H B Curry