Theorem Proving in Higher Order Logics Editat de Richard J. Boulton et al. 22 aug 2001 Paperback Preț: 327.92 lei 409.89 lei 43-57 zile -20%