عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.120
QA
3
.
L28
no
.
120
کتابخانه
محل استقرار
29265
بهار۹۸
English
)20(
Siefkes, Dirk
Buchi's monadic second order successor arithmetic
Berlin, New York
Springer-Verlag
1970
xii, 130 p.; 26 cm
Decidable theories1
Lecture notes in mathematics
120
Includes bibliographical references
، Predicate calculus
، Sequential machine theory
QA
3
.
L28
no
.
120
AU
TI
SE
02
