First-order in dynamic logic / David Harel.
Series Lecture notes in computer science ; LNCS ; v. 68Detalles de publicación: Berlin : Springer, 1979Descripción: 133 p. : il. ; 24 cmISBN:- 3540092374
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 68 | Disponible | 10520 |
Total de reservas: 0