An introduction to logic (1978)

by J Barwise
Venue:in Handbook of Mathematical Logic (J. Barwise