Theorem Proving in Higher Order Logics Editat de Elsa L. Gunter et al. 6 aug 1997 Paperback Preț: 325.03 lei 406.29 lei 6-8 săpt. -20%