Vol-2633⫷ Vol-2634 ⫸Vol-2635
urn:nbn:de:0074-2634-0


Vol-2634/DP3⫷Vol-2634/DP4⫸Vol-2634/DP5

Hybrid and alternative logics in Isabelle