عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L63 1988
QA
9
.
A1L63
1988
کتابخانه
محل استقرار
Logic Colloquium'88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
1988 : Padova, Italy
Amsterdam
North-Holland
1989
viii. 403p.: ill
Studies in logic and the foundations of mathematics; Vol. 721
Includes bibliographies
ISBN: 0444874550
edited by R. Ferro...]et al.[
1
2
Congresses ، Logic, Symbolic and mathematical
QA
9
.
A1L63
1988
AU
AU Ferro, R.
TI
SE
Logic colloquium
