Proof Methods for Modal and Intuitionistic Logics - Synthese Library - M. Fitting - Libros - Springer - 9789048183814 - 25 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

M. Fitting
Proof Methods for Modal and Intuitionistic Logics - Synthese Library Softcover reprint of the original 1st ed. 1983 edition

Precio
€ 215,99

Pedido desde almacén remoto

Entrega prevista 5 - 19 de ago.
Recibe notificaciones sobre nuevos lanzamientos de M. Fitting

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:

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

555 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de diciembre de 2010
ISBN13 9789048183814
Editores Springer
Páginas 555
Dimensiones 301 × 154 × 35 mm   ·   743 g
Lengua Inglés  

Mas por M. Fitting

Mostrar todo

Más del mismo editor

Ver todo de M. Fitting ( Ej. Paperback Book y Hardcover Book )