TY  - GEN
AU  - Mèuller,Gert Heinz
AU  - Takeuti,Gaisi
AU  - Tugué,T.(Tosiyuki)
TI  - Logic Symposia, Hakone, 1979, 1980: proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
SN  - 3540111611
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag
N1  - Cuprinde bibliografie pe capitole
ER  -