Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 04.06.2022. Zobrazit aktuální podobu v katalogu.

. 0 (hodnocen0 x ) BK Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli ... [et al.] (eds.) Berlin : Springer, 2007 viii, 308 s. : il. ; 24 cm ISBN 978-3-540-75938-6 (brož.) Lecture notes in computer science ; 4460 Aguzzoli, Stefano, 1967-@orcid@stk2008428531@/orcid@ (editor) Obsahuje bibliografické odkazy matematická logika * sborníky 510 - Obecné úvahy o matematice 510.6 000021393

Anotace Annotation

© 2005 Ex Libris
© 2009-2021 Ostravská univerzita Dotazy a připomínky