XV Latin American symposium on mathematical logic (SLALM 2012), sponsored by the Association for Symbolic Logic, Bogotá, Colombia, June 4--8, 2012

From MaRDI portal
Publication:2870109