Lista publicaţiilor: Institutul de Matematică şi Informatică al AŞM (2), Descărcări - 0, Vizualizări - 169
Articole în materiale ale conferințelor
2011 - 2
ISO 690-2012
| Non-existence of finite approximation relative to model-completeness in the provability-intuitionistic logic |
| Izbash Olga |
| Annual Congress of the American Romanian Academy of Arts and Sciences. |
| Ediția 35. 2011. Montreal; Canada. . 298-300. |
| Disponibil online 12 March, 2024. Descarcări-0. Vizualizări-96 |
| On functional completeness in the gr. moisil dual intuitionistic logic |
| Raţiu Mefodie |
| Annual Congress of the American Romanian Academy of Arts and Sciences. |
| Ediția 35. 2011. Montreal; Canada. . 301-303. |
| Disponibil online 12 March, 2024. Descarcări-0. Vizualizări-73 |
