Teoretyczne podstawy systemów wspomagajacych dowodzenie

Wyklad monograficzny (semestr zimowy 2006/07)

Materialy pomocnicze do wykladu (po angielsku):
Zdaniowa logika intuicjonistyczna

urzy@mimuw.edu.pl