Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Libros - Springer - 9789400734357 - 2 de enero de 2013
En caso de que portada y título no coincidan, el título será el correcto

Torben Brauner
Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

231 pages, 37 black & white tables, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de enero de 2013
Fecha de lanzamiento original 2012
ISBN13 9789400734357
Editores Springer
Páginas 231
Dimensiones 155 × 235 × 13 mm   ·   353 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Torben Brauner ( Ej. Hardcover Book y Paperback Book )