matematykaszkolna.pl
? Adam: Jak zapisać przy pomocy implikacji i funktora F (jednoargumentowy funktor Fałsz) strzałkę Pierce'a. Pomoże ktoś?
8 lis 09:06