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.
Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.
Gratis økonomifrakt for privatpersoner fra 299,-. Vi tilbyr levering til bemannet hentested, til pakkeboks, og hjemlevering direkte til postkassen eller på døren. Hvilke leveringsalternativer som er tilgjengelige for deg, ser du i kassen. Leveringstiden kan variere avhengig av leveringsmåte, adresse, og om bestillingen din inneholder produkter med lengre leveringstider. Den totale leveringstiden vises i kassen.
Du kan velge å betale med Apple Pay, kort (Visa eller Mastercard), eller via Klarna hvor du kan betale med Vipps, kort, direkteoverføring, faktura eller delbetaling. Ved å klikke på «Betal ordren» godkjenner du Kustoms og Adlibris’ generelle vilkår. Du kan se hvordan personopplysningene dine behandles i Adlibris’ personopplysningspolicy og i Kustoms personvernerklæring.
Hos Adlibris har du alltid 14 dagers angrerett fra det tidspunktet du har mottatt varen/varene dine. Du betaler selv porto for frakten. Angreretten omfatter ikke nedlastningsbare produkter, siden disse leveres direkte. For mer informasjon om returer, tilbakebetaling og reklamasjon, les våre salgsbetingelser.