1. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
کتابخانه: (طهران)
موضوع : ، Predicate calculus,، Sequential machine theory
رده :
QA
267
.
S57
1970
2. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
