Algebraic and proof theoretic aspects of non-classical logics
: papers in honor of Daniele Mundici in the occasion of his 60th birthday ; [Festschrift] / Stefano Aguzzoli ... (ed.). [Folli]. - Berlin : Springer, 2007. - VIII, 308 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4460 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75938-6 / 3-540-75938-7 kart. : EUR 51.36 (freier Pr.), sfr 84.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen