Esta edición ISBN ya no está disponible.
PartI An overview of the sequent calcus.- PartII, Sequent caluli for modal logic.- Part III, Tree-hyperseqent calculi.- Reference.- Symbols and notations.- Index.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
ISBN 10: 9048196698 ISBN 13: 9789048196692 Editorial: Springer, 2010 Tapa dura
Se le cobrará en {0}.
Verá los precios en {0} solo como referencia. Sus pedidos se procesarán en {1}.
Más información sobre las preferencias de moneda.
Cargando...
Guardar las preferencias del sitio
Preferencias de compra del sitio guardadas