The monadic second order theory of all countable ordinals/ J. Richard Büchi and Dirk Siefkes.

By:

Büchi, J. Richard

Contributor(s):

Siefkes, Dirk [joint author.]

Series: Decidable theories ; 2. | Lecture notes in mathematics (Springer-Verlag) ; 328.Publication details: Berlin: New York: Springer, 1973.Description: vi, 217 p.: 26 cmISBN:

3387063455 (New York)

Subject(s):

DDC classification:

510/.8 s 511/.3

Contents:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Coleções de Monografias (Monographs Collections)		1	Available		39063000230444

Includes bibliographies.

Büchi, J. R. The monadic second order theory of [omega symbol]b1s.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]b1s.

There are no comments on this title.

to post a comment.