Theorem Proving in Higher Order Logics Editat de Elsa L. Gunter et al. 6 aug 1997 Paperback Preț: 324.03 lei 405.04 lei 43-57 zile -20%