عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L63 1977
QA
9
.
A1
.
L63
1977
کتابخانه
محل استقرار
74916
75410
آخر۲۷
English
)20(
Logic Colloquium, Wroclaw, Poland
1977
Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
Amsterdam
North-Holland Pub.
c1978
x.311, 23 cm
Studies in logic and the foundations of mathematics; v.69
Includes bibliographical references
Issues for have title: Proceedings of the Summer School in Mathematical Logic and ... Logic Colloquium
، Logic, Symbolic and mathematical-- Congresses
، Recursive functions-- Congresses
QA
9
.
A1
.
L63
1977
AU
edited by Angus Macintyre, Leszek Pacholski ]and[ Jeff Paris
AU sugnA ,erytnicaM
AU kezseL ,ikslohcaP
AU ffeJ ,siraP
SE
02
02
