Vol-1185⫷ Vol-1186 ⫸Vol-1187
urn:nbn:de:0074-1186-0


Vol-1186/PrefaceThEdu⫷Vol-1186/paper-16⫸Vol-1186/paper-17
Jaime Gaspar

Short Introduction by Example to Coq and Formalising ZF ⊆ ZFε in Coq