Tárgyszó  
 
 
Kulcs: Kalkulus
Nemdeszkriptor: Ítéletkalkulus ; Ítéletlogika ; Kijelentés logikája ; Kijelentéskalkulus ; Logikai függvény ; Logikai kalkulus
Fölérendeltje: Bizonyítás
Mellérendelt: Algoritmus
Alárendelt: Lambda-kalkulus ; Predikátumkalkulus
Befoglalója: Logika
Helyett vagy: Ítélet
Okozata: Matematikai logika
ETO-ban: 161.2 ; 164.1 ; 510.56
Halis István Városi Könyvtár
TextLib WWW V2.01.01/1675 - InfoKer