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