Электронный каталог

Электронный каталог: Бирюшев, А.С. - Об одном способе доказательства непротиворечивости логико-арифметических исчислений

Бирюшев, А.С. - Об одном способе доказательства непротиворечивости логико-арифметических исчислений

Нет экз.

Книга
Автор: Бирюшев, А.С.
Об одном способе доказательства непротиворечивости логико-арифметических исчислений
Издательство: [б.и.], 1978 г.
ISBN отсутствует

На полку