Theorem Proving in Higher Order Logics Editat de Mark Aagaard et al. 27 iul 2000 Paperback Preț: 334.04 lei 417.55 lei 6-8 săpt. -20%