Bell, J. L. <br/><br/>
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. 
<br/><br/> Includes indexes. 
<br/><br/>Bibliography : p. [576]-583. 
<br/><br/><label>ISBN: </label>0720428440 
<br/><br/><label>LCCN: </label>75033890  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა მათემატიკური ლოგიკა 
<br/><br/><label>LC Class. No.: </label>QA9  / .B3953 
<br/><br/><label>Dewey Class. No.: </label>511/.3 
<br/><br/><label>Universal Decimal Class. No.: </label>517.11