Dov M. Gabbay – лучшие книги
-
Frontiers of Combining Systems 2 (Studies in Logic and Computation, 7) Dov M. Gabbay
ISBN: 0863802524 Язык: Русский -
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 Dov M. Gabbay
ISBN: 0198537689 Язык: Русский
