|
510 A35
Algebraic and proof-theoretic aspects of non-classical logics [Electronic resource] : papers in honor of Daniele Mundici on the occasion of his 60th birthday / ed. S. Aguzzoli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4460). - ISBN 978-3-540-75939-3 : Б. ц.
Рубрики: Математическая логика
См. : Текст издания Доп.точки доступа: Aguzzoli, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|