Foundations of Mathematical Logic (1977)

by H Curry