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