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
|
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783319948201 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|