Latin-American Symposium on Mathematical Logic (1996 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)