Proof Methods for Modal and Intuitionistic Logics - Synthese Library - M. Fitting - Libros - Springer - 9789027715739 - 30 de abril de 1983
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 1983 edition

Precio
$ 209,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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:

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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de abril de 1983
ISBN13 9789027715739
Editores Springer
Páginas 555
Dimensiones 210 × 297 × 31 mm   ·   966 g
Lengua Inglés  

Mas por M. Fitting

Mostrar todo

Mere med samme udgiver

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