"S. Aguzzoli" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Автор: S. Aguzzoli, Автор: A. Ciabattoni, Автор: B. Gerla, Автор: C. Manara, Автор: V. Marra

Категория: Компьютеры

Размер книги: 4.38 Mb

Algebraic and Proof-theoretic Aspects of Non-classical Logics

Автор: S. Aguzzoli, Автор: A. Ciabattoni, Автор: B. Gerla, Автор: C. Manara, Автор: V. Marra

Категория: CsLn_

Размер книги: 2.88 Mb