Erdélyi-Szabó Miklós
tudományos főmunkatárs
Bemutatkozás
SZAKTERÜLET:
- Logika
- Matematikai Tudományok Osztálya
KUTATÁSI TÉMA
- Eldönthetőségi problémák
- Intuicionista logika, valós számok intuicionista elmélete és modellje
- Természetes nyelv modellezés