El libro está agotado actualmente

On some semantic tableau proof procedures for modal logic

Autores

Graham Wrightson

Parámetros

Informática, IT, Programación

Compra de libros

On some semantic tableau proof procedures for modal logic, Graham Wrightson

Idioma
Publicado en: 1984

Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña

Detalles de la ediciónSugerir una corrección