Buchiʹs monadic second order successor arithmetic

RecordNumber :

3233

LC Class :

LC Number :

LC CutterNumber :

.L28,no.120

Dewey Class :

511

Dewey Date :

/.65

Author :

Title :

Publication :

Springer-Verlag

Publication Year :

1970

Collation :

xii, 130 p., 26 cm

Series :

Lecture notes in mathematics, 120,Decidable theories 1

Subject :

DocumentNumber :

2047

Biblography :

Bibliography: p. [125]-127.

BL :

Link To Document :