Normal view MARC view ISBD view

The monadic second order theory of all countable ordinals : decidable theories II / J. Richard Buchi, Dirk Siefkes

Auteur principal : Büchi, J. Richard, 1924-1984, AuteurCo-auteur : Siefkes, Dirk, AuteurType de document : MonographieCollection : Lecture notes in mathematics, 328Langue : anglais.Pays : Allemagne.Éditeur : Berlin : Springer-Verlag, 1973Description : 1 vol. (VI-217 p.) ; 26 cmISBN : 9783540063452.ISSN : 0075-8434.Bibliographie : Bibliogr. p. 126-127 et p. 87-89.Sujet MSC : 03B25, Mathematical logic and foundations -- General logic, Decidability of theories and sets of sentences
03B15, Mathematical logic and foundations -- General logic, Higher-order logic and type theory
03-02, Mathematical logic and foundations, Research exposition (monographs, survey articles)
03D05, Mathematical logic and foundations -- Computability and recursion theory, Automata and formal grammars in connection with logical questions
En-ligne : sur Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 BUC (Browse shelf) Available 05927-01

Bibliogr. p. 126-127 et p. 87-89

There are no comments for this item.

Log in to your account to post a comment.