Miroslav Mleziva

• Analyticity and sense
• Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen