| 2008 |
|---|
| 5 | EE | Miklós Erdélyi-Szabó,
László Kálmán,
Agi Kurucz:
Towards a natural language semantics without functors and operands.
Journal of Logic, Language and Information 17(1): 1-17 (2008) |
| 2000 |
|---|
| 4 | | Miklós Erdélyi-Szabó:
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.
J. Symb. Log. 65(3): 1014-1030 (2000) |
| 1998 |
|---|
| 3 | | Miklós Erdélyi-Szabó:
Undecidability of the Real Algebraic Structure of Scott's Modell.
Math. Log. Q. 44: 344-348 (1998) |
| 1997 |
|---|
| 2 | | Miklós Erdélyi-Szabó:
Decidability of Scott's Model as an Ordered Q-Vectorspace.
J. Symb. Log. 62(3): 917-924 (1997) |
| 1 | | Miklós Erdélyi-Szabó:
Decidability in the Constructive Theory of Reals as an Ordered Q-vectorspace.
Math. Log. Q. 43: 343-354 (1997) |
