عنوان
پدید آورنده
موضوع
رده
511 .3 K27
511
.
3
K27
کتابخانه
محل استقرار
206203
انگلیسی
IR
Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
[book]
/ H. Jerome Keisler
Amsterdam
: North-Hollland Pub. Co.
، 1971
x, 208 p
Studies in logice and the foundations of mathematics, V. 62
Bibliography: p. 193-203
Infinitary languages
Model theory
511
.
3
K27
QA
9
.
K3
Kelisler, H. Jerome
author
ایران
QA 9 .K3
Previous cataloging
BL
1
Y
