|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Логика доказуемости с операциями над доказательствамистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из списка Web of Science и/или ScopusДата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
- Автор: Сидон Т.Л.
- Журнал: Фундаментальная и прикладная математика
- Том: 3
- Номер: 4
- Год издания: 1997
- Издательство: Интуит
- Местоположение издательства: М.
- Первая страница: 1173
- Последняя страница: 1197
- Добавил в систему: Яворская Татьяна Леонидовна