Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/long18⫷Vol-1195/long19⫸Vol-1195/short0
Rodica CeterchiAlexandru I. TomescuEugenio G. Omodeo

The Representation of Boolean Algebras in the Spotlight of a Proof Checker