Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "admissibility"
Admissibility, compatibility, and deducibility in first-order sequent logics |
Lyaletski Alexander |
Taras Shevchenko National University of Kyiv |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-622 |
1-1 of 1