عنوان
پدید آورنده
موضوع
رده
QA 9 .H54 1970
QA
9
.
H54
1970
کتابخانه
محل استقرار
32110
French
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 )p. 53(
Hans Hermes
rev. and enl. ]1st German ed.[
، Logic, Symbolic and mathematical
QA
9
.
H54
1970
AU
TI
SE
یاضه ریه دانشکدانابخکت
