Theorem Proving in Higher Order Logics Editat de Konrad Slind et al. sep 2004 Paperback Preț: 324.82 lei 406.03 lei 43-57 zile -20%