عنوان
پدید آورنده
موضوع
رده
QA 9 .S3793
QA
9
.
S3793
کتابخانه
محل استقرار
41911
آخر۲۷
German
)20(
Schutte, Kurt
Vollstandige Systeme modaler und intuitionistischer Logik
Berlin, New York
Springer-Verlag
1968
vi, 87 p
Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 24
Bibliography : p. ]85[
، Logic, Symbolic and mathematical
QA
9
.
S3793
AU
TI
SE
02
