Көбейту сызықтық логикасы

Жоюды растаңыз

Бұл нысанды жойғыңыз келетініне сенімдісіз бе? Multiplicative Linear Logic?