عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.891
QA
3
.
L28
no
.
891
کتابخانه
محل استقرار
77765
تابستان۰۹
English
)20(
Logic Symposia, Hakone, 1979, 1980: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Berlin
Springer-Verlag
1981
xi, 394 p.; 25 cm
Lecture notes in mathematics
891
Includes bibliographies references
Congresses ، Logic, Symbolic and mathematical
QA
3
.
L28
no
.
891
AU
edited by G.H. Muller, G. Takeuti, and T. Tugue
AU (znieH treG).H .G ,relluM 1923-
AU isiaG ,ituekaT 1926-
AU (ikuyisoT).T ,euguT 1926-
CO Logic Symposia )0891: Hakone-machi, Japan(
TI
SE
02
