|
Доклады Академии наук, 1983, том 270, номер 3, страницы 537–541
(Mi dan46090)
|
|
|
|
МАТЕМАТИКА
Непротиворечивость системы $\mathcal{N}F$ Куайна
А. С. Кузичев Московский государственный университет имени М. В. Ломоносова
Образец цитирования:
А. С. Кузичев, “Непротиворечивость системы $\mathcal{N}F$ Куайна”, Докл. АН СССР, 270:3 (1983), 537–541
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan46090 https://www.mathnet.ru/rus/dan/v270/i3/p537
|
|