Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications - Katalin Bimbo - Libros - Taylor & Francis Ltd - 9781032920771 - 14 de octubre de 2024
En caso de que portada y título no coincidan, el título será el correcto

Katalin Bimbo
Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications

Precio
$ 91,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 21 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Katalin Bimbo

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

Aún no valorado

También disponible como:

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from

386 pages, 13 Illustrations, black and white

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de octubre de 2024
ISBN13 9781032920771
Editores Taylor & Francis Ltd
Páginas 386
Dimensiones 234 × 156 × 24 mm   ·   580 g
Lengua Inglés  

Mas por Katalin Bimbo

Mostrar todo

Más del mismo editor

Ver todo de Katalin Bimbo ( Ej. Paperback Book y Hardcover Book )