Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 64 PPL 99 Zásilkovna 54

Autor Lawrence C. Paulson

4 produktů
Cena

Dostupnost

1
3
Datum vydání

?
Isabelle Lawrence C. Paulson / Brožovaná
common.buy 1 681
Isabelle/HOL Tobias Nipkow / Brožovaná
common.buy 1 830
Interactive Theorem Proving Matt Kaufmann / Brožovaná
common.buy 3 362
Logic and Computation Lawrence C. Paulson / Brožovaná
common.buy 1 922

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet