HANDBOOK OF MATHEMATICAL LOGIC - Barwise, Jon [ed.] (Amsterdam North Holland, 1983)
Keywords: Mathematical logic