Mathematical Logic and ComputationWydawnictwo: Cambridge University Press Data wydania: 24/11/2022 ISBN: 9781108478755 Forma publikacji: książka w twardej oprawie
|
366.45 PLN
Produkt na zamówienie
Dostawa 3-4 tygodnie
Do schowka
|
Mathematical Logic and ComputationWydawnictwo: Cambridge University Press Data wydania: 24/11/2022 ISBN: 9781108800761 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
438.72 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Interactive Theorem ProvingWydawnictwo: Springer Nature Data wydania: 03/07/2018 ISBN: 9783319948218 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
542.97 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|