Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
- książki
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[2952079]
•
Literatura piękna
[1850969]
więcej...
•
Turystyka
[71058]
•
Informatyka
[151066]
•
Komiksy
[35579]
•
Encyklopedie
[23181]
•
Dziecięca
[620496]
•
Hobby
[139036]
•
AudioBooki
[1646]
•
Literatura faktu
[228729]
•
Muzyka CD
[379]
•
Słowniki
[2932]
•
Inne
[445708]
•
Kalendarze
[1409]
•
Podręczniki
[164793]
•
Poradniki
[480107]
•
Religia
[510956]
•
Czasopisma
[511]
•
Sport
[61267]
•
Sztuka
[243299]
•
CD, DVD, Video
[3411]
•
Technologie
[219640]
•
Zdrowie
[100984]
•
Książkowe Klimaty
[124]
•
Zabawki
[2281]
•
Puzzle, gry
[3363]
•
Literatura w języku ukraińskim
[258]
•
Art. papiernicze i szkolne
[8020]
Kategorie szczegółowe BISAC
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Klaus Mainzer Helmut Schwichtenberg Peter Michael Schuster
cena:
658,50
Czytaj nas na:
