Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings Lecture Notes in Computer Science, nr. 1690 Editat de Yves Bertot et al. sep 1999 Paperback Preț: 392.75 lei 43-57 zile
