Lista publicaţiilor: Izbaş Olga Ilie (1), Descărcări - 2, Vizualizări - 888
Articole în materiale ale conferințelor
2017 - 1
ISO 690-2012
| About model completeness in the provability-intuitionistic logic and its extensions |
| Izbash Olga |
| Conference of Mathematical Society of the Republic of Moldova |
| 4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 87-90. |
| Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-888 |
