Bell, J. L. A course in mathematical logic / by J. L. Bell and M. Machover. - North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977. - xviii, 599 p. ; 23 cm. Includes indexes. Bibliography : p. [576]-583. ISBN: 0720428440 LCCN: 75033890 Subjects--Topical Terms: Logic, Symbolic and mathematical. Subjects--Index Terms: მათემატიკა მათემატიკური ლოგიკა LC Class. No.: QA9 / .B3953 Dewey Class. No.: 511/.3 Universal Decimal Class. No.: 517.11