Erdélyi-Szabó Miklós

senior research fellow
Academic degree:
-
Research group:
-
Research department:
Set theory, logic and topology
Room:
fe.21.
Phone:
1/4838309

Introduction

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