Theorem Proving in Higher Order Logics Editat de Stefan Berghofer et al. 4 aug 2009 Paperback Preț: 347.39 lei 434.23 lei 43-57 zile -20%