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