ďťż

	Zakład Logiki Matematycznej Wydział Matematyki i Informatyki Uniwersytet im. A. Mickiewicza w Poznaniu
Strona główna       Pracownicy       Doktoranci
Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci

9.X.2012 dr Michał Kozak, Silna negacja w systemach z sekwentami intuicjonistycznymi dla krat z rezyduacjami Seminarium wspólne z Zakładem Teorii Obliczeń