Tárgyszó  
 
 
Kulcs: bizonyítás
Nemdeszkriptor: bizonyításelmélet
Fölérendeltje: eljárás
Alárendelt: automatikus bizonyítás ; kalkulus
Helyett és: hittétel bizonyítása
Helyett vagy: érvelés
Oka: algoritmus ; nemteljességi tétel
Okozata: következtetés
Lásd még: bizonyítási eljárás
ETO-ban: 168.3
Lukács Károly Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer