Sekventsarvutus.

Allikas: Lambda

Sekventsarvutus.

Lugege palun läbi raamatust "Loogika:mõtlemisest tõestamiseni" peatükk 6 (Tuletussüsteemid).
Lühida kokkuvõtte saab ka näiteks: [1] [2]