عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.6 1970
QA
3
.
L28
no
.
6
1970
کتابخانه
محل استقرار
29275
بهار۹۸
English
)20(
Hermes, Hans
Term logic with choice operator
Berlin
Springer-Verlag
1970
55 p.: 26 cm.
Lecture notes in mathematics
6
Rev. and enl. translation of Eine Termlogik mit Auswahloperator
Includes bibliographical references
]1st English ed.[
، Logic, Symbolic and mathematical
QA
3
.
L28
no
.
6
1970
AU
TI
SE
02
