Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "parametric expressibility of formulas"
Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic |
Rusu Andrei |
Information Society Development Institute |
International Conference on Intelligent Information Systems |
2013. Chișinău. . |
Disponibil online 12 February, 2018. Descarcări-4. Vizualizări-696 |
1-1 of 1