164 Lig A Lightstone, A H The exiomatic method, an introduction to mathematical logic. Englewood Cliffs, N. J. Prentice-Hell (c1964) 246 p. 24 cm.