Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Previous Page 2
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Л.Л. Максимова (1967)
Algebra i Logika
И.К. Щербацкий (1969)
Matematiceskie issledovanija
Previous Page 2