Kazimierz Ajdukiewicz
Kazimierz Ajdukiewicz var en polsk filosof og matematisk logiker, medlem af Warszawa-gruppen. Ajdukiewicz' vigtigste arbejder ligger inden for den logiske syntaks og semantik; i 1920 formulerede han som den første deduktionsteoremet. Læs mere i Den Store Danske Warszawa-gruppen