  |
Items where Author is "Erdélyi-Szabó, Miklós"
Group by: Item Type | No Grouping Jump to: Article Number of items: 2. ArticleErdélyi-Szabó, Miklós (2021) Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis. MATHEMATICAL LOGIC QUARTERLY, 67 (3). ISSN 0942-5616 Erdélyi-Szabó, Miklós and Kálmán, László and Kurucz, Ági (2008) Towards a natural language semantics without functors and operands. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 17 (1). pp. 1-17. ISSN 0925-8531 |
