Вы здесь

Sazonov V. Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability 1995 Sazonov V. Y. Lecture Notes in Computer Science Computer Science Logic 24.09.1995