Найти:

Зайцев Игорь Васильевич Zaytsev Igor Vasilevich

Автор

дедуктив- ная эквивалентность, семантическая полнота, биреляционная семантика крипке, реля- ционные атомы, отмеченные формулы, метки

0000099433

Заходил

показать

Подробнее

Библиотека

Конференции

Контакты

Работы Зайцева И. В.: новые поступления

Отмеченное субординатное натуральное исч…

Постов пока нет

Скоро владелец страницы опубликует здесь свои посты.