Afișare rezultate |
Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "intuitionistic calculus"
About model completeness in the provability-intuitionistic logic and its extensions |
Izbaş Olga |
Institute of Mathematics and Computer Science ASM |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. ISBN 978-9975-71-915-5. |
Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-845 |
Non-existence of finite approximation relative to model-completeness in the provability-intuitionistic logic |
Izbaş Olga |
Institute of Mathematics and Computer Science ASM |
Annual Congress of the American Romanian Academy of Arts and Sciences. |
Ediția 35. 2011. Montreal; Canada. ISBN 978-1-935924-01-2. |
Disponibil online 12 March, 2024. Descarcări-0. Vizualizări-62 |
1-2 of 2