Normal view
MARC view
Xavier Caicedo; Carlos H. Montenegro(Personal Name)
Machine generated authority record
Work cat.: (OSt)1808683: Xavier Caicedo; Carlos H. Montenegro, Models, Algebras, and Proofs