Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Bøker av Grigori Mints
Filter
Sorter etterSorter
Populære
-
1 455,- Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- Bok
- 1 455,-
-
1 468,- Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- Bok
- 1 468,-