Tárgyszó  
 
 
Kulcs: Matematikai logika
Nemdeszkriptor: Algebrai logika ; Formális logika ; Logikai művelet ; Modern logika ; Szimbolikus logika
Fölérendeltje: Logika
Mellérendelt: Metamatematika
Alárendelt: Cilindrikus algebra ; Elsőrendű logika ; Intenzionális logika ; Klasszikus matematikai logika ; Mátrixlogika ; Modális logika ; Nemklasszikus matematikai logika ; Többértékű logika
Része: Funktor ; Gödel-tétel ; Igazságfüggvény ; Porizma ; Szillogizmus ; Típuselmélet
Helyett és: Fuzzy-logika ; Induktív logika ; Kombinatorikus logika ; Számítógépes logika
Oka: Kalkulus
Okozata: Döntéselmélet ; Logikai programozás ; Matematikai programozás ; Modellelmélet
ETO-ban: 510 ; 510.6 ; 510.64
Halis István Városi Könyvtár
TextLib WWW V2.01.01/1675 - InfoKer