A survey of Mathematical Logic (1963)

by Hao Wang