Доказуемое и недоказуемое

ग्रंथसूची विवरण
मुख्य लेखक:	Манин Ю. И. Юрий Иванович
प्रकाशित:	Москва, Советское радио, 1979
श्रृंखला:	Кибернетика
विषय:	математическая логика формальные языки истинность выводимость континуум форсинг аксиомы гипотезы
स्वरूप:	पुस्तक
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=155610

विवरण
भौतिक वर्णन:	168 с.

समान संसाधन