1. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980