Karl Döhmann
Eine matrizielle Methode zur Reduktion aussagelogischer Funktoren
I-IV
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
Eine matrizielle Methode zur Reduktion aussagelogischer Funktoren
I-IV
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder