Lógica e aritmética : uma introdução informal aos métodos formais

Сохранить в:
Библиографические подробности
Главный автор: Augusto Franco de Oliveira
Опубликовано: Gradiva 1991
Редактирование:1ª
Предметы:
Online-ссылка:Ver na biblioteca
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!