Werner Carstengerdes

• Mehrsortige logische Systeme mit unendlich langen Formeln