عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L63 1986
QA
9
.
A1L63
1986
کتابخانه
محل استقرار
Logic Colloquium'86 : proceedings of thjje Colloquium held in Hull, U.K., July 13-19, 1986
1986 : Hull, U.K
Amsterdam
North-Holland
1988
ix, 342p.: ill., port
Studies in logic and the foundations of mathematics; Vol.421
Includes bibliographies
ISBN: 0444703268
edited by F.R. Drake and J.K. Truss
1
Congresses ، Logic, Symbolic and mathematical
QA
9
.
A1L63
1986
AU
AU Drake, F. R.
AU Truss, J. K.
TI
SE
Logic colloquium
