Latin-American Symposium on Mathematical Logic (1996 :)
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Models, algebras, and proofs : = selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota /
by:
Caicedo, Xavier, (1944-); Montenegro, Carlos H., (1958-); Latin-American Symposium on Mathematical Logic (1996 :)
(書目-語言資料,印刷品)