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 |