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

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

MARC


LEADER	00000nam0a2200000 4500
001	155610
005	20231031152523.0
035			\|a (RuTPU)RU\TPU\book\168789
090			\|a 155610
100			\|a 20090317d1979 km y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	1		\|a Доказуемое и недоказуемое \|f Ю. И. Манин
210			\|a Москва \|c Советское радио \|d 1979
215			\|a 168 с.
225	1		\|a Кибернетика
320			\|a Библиогр.: с. 161-162.
320			\|a Именной и предметный указатель: 163-166.
610	1		\|a математическая логика
610	1		\|a формальные языки
610	1		\|a истинность
610	1		\|a выводимость
610	1		\|a континуум
610	1		\|a форсинг
610	1		\|a аксиомы
610	1		\|a гипотезы
675			\|a 510.6 \|v 3
700		1	\|a Манин \|b Ю. И. \|g Юрий Иванович
801		1	\|a RU \|b 63413507 \|c 20090317 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20100125 \|g RCR
942			\|c BK