Deductive Systems and the Decidability Problem for Hybrid Logics Autor Michal Zawidzki 7 mai 2015 Paperback Preț: 367.47 lei 3-5 săpt. | 10-14 zile