An introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. The book presents a new causal version of von Neumann-Bernays-Goedel set theory, and lists over 400 theorems proved semiautomatically in elemental set theory.
Olemme Pohjoismaiden suurin verkkokirjakauppa, ja haluamme inspiroida seuraavan lukuelämyksen löytämiseen. Haluamme johdattaa sinut löytämään kirjoja, jotka lumoavat, liikuttavat ja koskettavat tai hetkeksi vievät mukanaan täysin toiseen maailmaan. Löydät meiltä yli 13 miljoonaa kirjaa sekä uusimmat pelit, askartelutarvikkeet, langat sekä muut nykyaikaisen kirjakaupan tuotteet.
*Saat tietoa kampanjoista, uutuuksista ja sinulle valituista kirjavinkeistä. Tilaa nyt, niin saat 10 % alennuksen seuraavasta ostoksestasi. Tarjous on tarkoitettu yksityisasiakkaille, ja se koskee vain uusia uutiskirjeen tilaajia. Alennus ei koske oppikirjoja, digitaalisia kirjoja, LEGO-tuotteita eikä lahjakortteja.
Ilmainen toimitus yksityisasiakkaille yli 29 euron tilauksiin. Tarjoamme toimituksen noutopisteeseen, suoraan postilaatikkoosi tai ovelle, pakettiautomaattiin tai kotiinkuljetuksena. Saatavilla olevat toimitusvaihtoehdot näkyvät kassalla. Toimitusaika voi vaihdella toimitustavan, osoitteen ja tilauksesi sisältämien tuotteiden pidempien toimitusaikojen mukaan. Arvioitu kokonaisaika toimitukselle ilmoitetaan kassalla.
Voit maksaa MobilePaylla, kortilla (Visa tai Mastercard), Apple Paylla tai Klarnalla. Klarnan maksuvaihtoehdot ovat: korttimaksu, verkkopankkimaksu, lasku tai osamaksu. Klikkaamalla "Maksa tilaus" hyväksyt Kustomsin ja Adlibriksen yleiset ehdot. Voit tutustua henkilötietojesi käsittelyyn Adlibriksen tietosuojakäytännössä ja Kustomsin tietosuojainformaatiossa.
Adlibriksella sinulla on aina 28 päivän palautusoikeus siitä hetkestä, kun olet vastaanottanut tuotteesi. Palautusmaksu on 5,90 euroa. Peruuttamisoikeus ei koske tuotteita, jotka toimitetaan sähköisesti ja ovat ladattavissa tilauksen vahvistushetkestä alkaen. Lisätietoja palautuksista, hyvityksistä ja reklamaatioista löydät ostoehdoistamme.