TY  - BOOK
AU  - Bell,J.L.
AU  - Machover,Moshé
TI  - A course in mathematical logic
SN  - 0720428440
AV  - QA9 .B3953
U1  - 511/.3 
PY  - 1977///
CY  - Amsterdam, New York
PB  - North-Holland Pub. Co., sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.
KW  - Logic, Symbolic and mathematical
KW  - მათემატიკა
KW  - მათემატიკური ლოგიკა
N1  - Includes indexes; Bibliography : p. [576]-583
UR  - http://www.loc.gov/catdir/enhancements/fy0601/75033890-d.html
ER  -