UniAgendaUvARepresentaties en modeltheorie van vrije Heyting-algebra’sBack to the agenda30Oct14:00PhD defenceUvAAmsterdamMathematicsRepresentaties en modeltheorie van vrije Heyting-algebra’sAula - Oude Lutherse kerk · AmsterdamRodrigo Da Cruz Silva Pina De Almeida promoveert op het proefschrift: 'Representations and model theory of free Heyting algebras'.University of AmsterdamMore information at the universitySaveShareDirectionsSubscribe to UvA