Сети меток и выводимость в интуиционистском исчислении высказываний
Я.Я. Голота (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Я.Я. Голота (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
А.Я. Вольперт (1951)
Matematiceskij sbornik
Similarity:
Я.Я. Голота (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.И. Васюнин (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Я.Я. Голота (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
И.Я. Верченко (1942)
Matematiceskij sbornik
Similarity:
В.Я Натанзон ([unknown])
Matematiceskij sbornik
Similarity:
Б.Я. Солон (1978)
Sibirskij matematiceskij zurnal
Similarity:
Мерием Буларас (1988)
Matematiceskie issledovanija
Similarity:
А.Ф. Исак, Г.Я. Рабей ([unknown])
Matematiceskie issledovanija
Similarity: