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

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

Xehetasun bibliografikoak
Egile nagusia: Манин Ю. И. Юрий Иванович
Argitaratua: Москва, Советское радио, 1979
Saila:Кибернетика
Gaiak:
математическая логика
формальные языки
истинность
выводимость
континуум
форсинг
аксиомы
гипотезы
Formatua: Liburua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=155610

Antzeko izenburuak