"Summulae logicae"@cs .