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