Справочная книга по математической логике: теория доказательств и конструктивная математика / ред. Дж. Барвайс. — Москва : Главная редакция физико-математической литературы, 1983. — 392 с.

Subjects--Topical Terms:

Universal Decimal Class. No.: 510.6(035)