Vista normal Vista MARC Vista ISBD

Analysis and synthesis of logics how to cut and paste reasoning systems / [recurso electrónico] : Walter Carnielli ... [et al.] - Dordrecht : Springer, 2008 - xvi, 600 p. : il. - Applied logic series v. 35 .

Acceso sólo para usuarios de REDUNAM


Reproducción electrónica.
New York : Springer,
[2009]

ISBN: 9781402067822 (libro electrónico)

Subjects--Topical Terms:
Lógica simbólica y matemática

Index Terms--Genre/Form:
Libros electrónicos.

LC Class. No.: QA9 / A5115 2008le