SICTTL

AcronymDefinition
SICTTLSecond International Congress on Tools for Teaching Logic