Theorem Proving in Higher Order Logics Editat de Richard J. Boulton et al. 22 aug 2001 Paperback Preț: 327.92 lei 409.89 lei 6-8 săpt. -20%
