Theorem Proving in… Lecture Notes in Computer Science, nr. 1479 Editat de Jim Grundy et al. 9 sep 1998 Paperback Preț: 343.29 lei 429.11 lei 6-8 săpt. -20%