Decidable Theories I : Buchi's monadic second order successor arithmetic / Dirk Siefkes

Auteur principal : Siefkes, Dirk, AuteurType de document : MonographieCollection : Lecture notes in mathematics, 120Langue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer-Verlag, 1970Description : 1 vol. (130 p.) ; 26 cmISBN: 9783540049098.ISSN: 0075-8434.Bibliographie : Bibliogr. Index.Sujet MSC : 03B25, General logic, Decidability of theories and sets of sentences
03C35, Mathematical logic and foundations - Model theory, Categoricity and completeness of theories
03C10, Mathematical logic and foundations - Model theory, Quantifier elimination, model completeness and related topics
03C66, Mathematical logic and foundations - Model theory, Continuous model theory, model theory of metric structuresEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 MUL (Browse shelf(Opens below)) Available 02669-01
Monographie Monographie CMI
Salle 1 		03 MUL (Browse shelf(Opens below)) Available 02669-02

Bibliogr. Index

There are no comments on this title.

to post a comment.