Theorem Proving in Higher Order Logics


brak ocen
Rok wydania: 1996 Wydawnictwo: Springer » Rodzaj okładki: Miękka Wymiar: 22x29cm Ilość stron: 450 Waga: 0.3 kg TIN: T04715436 Stan: Używana
Stan egzemplarza: Z uszkodzeniami
Obwoluta/Oprawa: naderwana
Grzbiet: naderwany
Inne informacje: adnotacje i pieczątki biblioteczne

Masz tę lub inne książki? Sprzedaj je u nas Skup książek Tezeusz.pl

Produkt niedostępny
Powiadom mnie o dostępności tego produktu
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.