|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Об интерпретации логики рекурсивной реализуемости в классической арифметике с модальностямитезисы доклада
- Автор: Сыркин Геннадий Иосифович
- Сборник: Седьмой Всесоюзный симпозиум по логике и методологии науки. Тезисы сообщений
- Тезисы
- Год издания: 1976
- Место издания: Наукова думка Киев
- Первая страница: 148
- Последняя страница: 149
- Добавил в систему: Золин Евгений Евгеньевич