|
Вид документа : Монографическая серия Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2007 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4460
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-75939-3: Б.ц.
ГРНТИ : 27.03.19 УДК : 510 Предметные рубрики: Математическая логика
См. : Текст издания Доп.точки доступа: Aguzzoli, S. \ed.\; SpringerLink (Online service)
|
|