Handbook of Mathematical Logic (1977)

by J Barwise