Bolc, Leonard, 1934-, Many-valued logics / Leonard Bolc, Piotr Borowik - volúmenes Contenido: 2. Automated reasoning and practical applications ISBN: 3540559264 3-540-64507-1 Subjects--Topical Terms: Lógica multivalente LC Class. No.: QA9.45 / B65