Черч, А. <br/><br/>
Введение в математическую логику / 
 Introduction to mathematical logic 
А. Черч; В.А. Успенкий; Пер. В.С. Чернявского. 
 - Москва :  Иностранной литературы,  1960. 
 - 485 с. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика