Загрузка...

Algebraic and proof-theoretic aspects of non-classical logics papers in honor of Daniele Mundici on the occasion of his 60th birthday /

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited e...

Полное описание

Сохранить в:
Библиографические подробности
Главный автор: Aguzzoli, S.
Формат: Livro
Язык:Inglês
Опубликовано: Springer, 2007
Серии:Lecture notes in artificial intelligence
Предметы:
Online-ссылка:https://minerva.ufrj.br/F/?func=direct&doc_number=000898222&local_base=UFR01
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!