Theorem Proving in Higher Order Logics Editat de Mark Aagaard et al. 27 iul 2000 Paperback Preț: 335.05 lei 418.81 lei 43-57 zile -20%