1 Электронные книги Victor A. Carreno
Victor A. Carreno & Cesar A. Munoz: Theorem Proving in Higher Order Logics
…
PDF
английский
DRM
€57.90
