Tytuł rozprawy: Fregean fragments of Intuitionistic Propositional Calculus with mixed conguence type
Rozprawa doktorska
Streszczenie