عنوان
پدید آورنده
موضوع
رده
QA 9 .S46 1968
QA
9
.
S46
1968
کتابخانه
محل استقرار
Vollstandige systeme modaler und intuitionistischer Logik
Berlin
Springer-Verlag
c1968
vi, 87p
Ergebnisse der mathematik und ihrer Grenzgebiete; 24
Bibliography: p. ]85[
Kurt Schutte
1
، Logic, Symbolic and mathematical
QA
9
.
S46
1968
Schutte, Kurt
AU
TI
SE
