First-Order Dynamic Logic

Portada
Springer, 1979 - 133 páginas

Dentro del libro

Comentarios de usuarios - Escribir una reseña

No hemos encontrado ninguna reseña en los sitios habituales.

Índice

Preface
1
Regular Propositional Dynamic Logic PDL
7
Arithmetical Axiomatization
26
Página de créditos

Otras 1 secciones no se muestran.

Otras ediciones - Ver todo

Términos y frases comunes

Información bibliográfica