Пошук :
Довідка :
Електронний каталог : Матиясевич, Ю. В. - О метаматематическом подходе к доказательству теорем дискретной математики
Матиясевич, Ю. В. - О метаматематическом подходе к доказательству теорем дискретной математики
Книга
Автор: Матиясевич, Ю. В.
О метаматематическом подходе к доказательству теорем дискретной математики : [статья]
Видавництво: [б.и.], 1974 г.
ISBN відсутній
Автор: Матиясевич, Ю. В.
О метаматематическом подходе к доказательству теорем дискретной математики : [статья]
Видавництво: [б.и.], 1974 г.
ISBN відсутній
(UA) Книга
X> 9584
792891 Главный филиал
Матиясевич, Ю. В.
О метаматематическом подходе к доказательству теорем дискретной математики : [статья] / Ю. В. Матиясевич.– [Б.м.] : [б.и.], 1974.– С. 31-50
Статья с журнала: "Записки научных семинаров ЛОМИ", т. 49, 1974.– Библиогр.: с. 48 . – На рус., англ. яз. : 1.00.
X> 9584
792891 Главный филиал
Матиясевич, Ю. В.
О метаматематическом подходе к доказательству теорем дискретной математики : [статья] / Ю. В. Матиясевич.– [Б.м.] : [б.и.], 1974.– С. 31-50
Статья с журнала: "Записки научных семинаров ЛОМИ", т. 49, 1974.– Библиогр.: с. 48 . – На рус., англ. яз. : 1.00.