Vol-1453⫷ Vol-1454 ⫸Vol-1455
urn:nbn:de:0074-1454-0


Vol-1454/ramics15-st_9-14⫷Vol-1454/ramics15-st_15-22⫸Vol-1454/ramics15-st_23-32

Relational Equality in the Intensional Theory of Types