Models, Algebras, And Proofs door Xavier Caicedo & Carlos Montenegro