–
Room P3.10, Mathematics Building
João Rasga, Instituto Superior Técnico
Preservation of completeness by fibring labelled first-order based logics (Part II)
Conclusion of the previous talk.
Preservation of completeness by fibring labelled first-order based logics (Part II)
Conclusion of the previous talk.