Survey of mathematical logic - Wang Hao (Amsterdam North-Holland, 1963)
Keywords: Mathematical logic