Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "expressibility of formulas"
On completeness as to ¬-expressibility in a 4-valued provability logic |
Rusu Andrei12, Rusu Elena3 |
1 Vladimir Andrunachievici Institute of Mathematics and Computer Science, 2 Ovidius University, Constanța, 3 Technical University of Moldova |
Proceedings IMCS-55 |
2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4. |
Disponibil online 28 November, 2019. Descarcări-3. Vizualizări-817 |
1-1 of 1