Theorem Proving in Higher Order Logics
Rok wydania: 1996
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
dodaj do listy życzeń