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