Tárgyszó
---Művelet---
Felkutat
Megoszt
Megjegyzés
---Keresés---
Téma
Tárgyszó
Kulcs:
predikátumkalkulus
Fölérendeltje:
kalkulus
Alárendelt:
osztálykalkulus
Befoglalója:
kijelentéskalkulus
Része:
állítás
ETO-ban:
164.2 ; 164.21
Lukács Károly Városi Könyvtár
TextLib
WWW V2.01.01/1671 - InfoKer