Tárgyszó  
 
 
Kulcs: kalkulus
Nemdeszkriptor: logikai függvény ; logikai kalkulus
Fölérendeltje: bizonyítás
Mellérendelt: algoritmus
Alárendelt: kijelentéskalkulus ; lambda-kalkulus ; predikátumkalkulus ; relációkalkulus
Befoglalója: logika
Oka: logikai művelet
Okozata: matematikai logika
ETO-ban: 161.2 ; 164.1 ; 510.56
Lukács Károly Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer