Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "First-order classical logic"
| On a Sequent Form of the Inverse Method |
| Lyaletsky Alexandre |
| National University of Life and Environmental Sciences of Ukraine |
| Proceedings IMCS-55 |
| 2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4. |
| Disponibil online 28 November, 2019. Descarcări-1. Vizualizări-539 |
    |
1-1 of 1
