...-definable functionals and ... Conversion.
Page 1
Displaying 1 – 7 of 7
Алгебраические системы 2-й ступени
Ю.М. Мовсисян (1975)
Matematiceskie issledovanija
Иерархии программных логик
М.А. Тайцлин (1983)
Sibirskij matematiceskij zurnal
К теории моделей для интуиционисткой логоки
В.И. Степанов (1984)
Matematiceskij sbornik
Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.
А. Таутс (1990)
Sibirskij matematiceskij zurnal
Об элементарных теориях полурешеток частичных порядков на множествах
А.Г. Пинус (1998)
Sibirskij matematiceskij zurnal
Числа Левенгейма для скелетов многообразий.
А.Г. Пинус (1991)
Algebra i Logika
Currently displaying 1 – 7 of 7
Page 1