Theorem Proving in Higher Order Logics Editat de David Basin et al. 21 aug 2003 Paperback Preț: 381.25 lei 6-8 săpt.