teiginių skaičiavimas
teigini skaičiãvimas, dvireikšmė teiginių logika, užrašyta kaip aksiominė formali sistema.
teigini skaičiãvimas, dvireikšmė teiginių logika, užrašyta kaip aksiominė formali sistema.
Autorius (-iai) | |
Redaktorius (-iai) | |
Publikuota | |
Redaguota |