Hand book of Mathematical logic - Barwise Jon Ed. (Amsterdam North-Holland, 1977)
Keywords: Symbolic and mathematical; Logic