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