Theorem Proving in Higher Order Logics Editat de Konrad Slind et al. sep 2004 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%