عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.1103 ,1104
QA
3
.
L28
no
.
1103
,
1104
کتابخانه
محل استقرار
79772
99178
آخر۲۷
English
)20(
Logic Colloquium )3891: Aachen, Germany(
Proceedings of the lOgic Colloquium held in Aachen, Julyu 18-23, 1983
Berlin; New York
Springer- Verlag
1984
v.: ill., 25cm
Lecture notes in mathematics; 3011,4011
P.t 1. Models and sets] edited by G. H. Muller and Richter-- Pt. 2. Computation and Proof theory[ edited by M. M. Richter.... ]et. al.[
، Logic, Symbolic and mathemtical--Congresses
QA
3
.
L28
no
.
1103
,
1104
AU
TI
SE
02
02
