The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes.
Series Lecture notes in mathematics ; LNM ; v. 328Detalles de publicación: Berlin : Springer, 1973.Descripción: 217 p. ; 26 cmISBN:- 3540063455
- 0387063455
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | M LNM v. 328 | Disponible | 06601 |
Total de reservas: 0
Decidable theories II edited by Müller Gert H. and Siefkes Dirk .