Handbook of mathematical logic Publication date 1977 Topics Logic, Symbolic and mathematical Publisher Amsterdam ; New York : North-Holland Pub. Co. Collection internetarchivebooks; printdisabled ...