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.
Adlibris är Nordens största bokhandel och erbjuder över 13 miljoner boktitlar med det senaste inom spel, pyssel, garn och allt som hör en modern bokhandel till. Campusbokhandeln erbjuder studenter att köpa och sälja både ny och begagnad studentlitteratur och Adlibris Pocket erbjuder ett skräddarsytt och handplockat sortiment i reselägen. Adlibris är en del av Bonnier Group.
10% rabatt – för nya prenumeranter! Anmäl dig till vårt nyhetsbrev och få 10% rabatt på ditt första köp! Du får även exklusiva lästips, erbjudanden och kampanjer direkt till din e-post. Gäller endast online för nya prenumeranter, privatkunder och ej på kurslitteratur, digitala böcker, LEGO eller presentkort
Gratis ekonomifrakt för privatpersoner från 249 kr. Vi erbjuder leverans till ombud, direkt till din brevlåda eller dörr, paketskåp, och hemleverans. Vilka leveransalternativ som är tillgängliga för dig framgår i kassan. Leveranstiden kan variera beroende på leveranssätt, adress, och om din beställning innehåller produkter med längre leveranstider. Den totala leveranstiden visas i kassan.
Du kan välja att betala med Apple Pay, kort (Visa eller Mastercard), eller via Klarna där du kan betala med Swish, kort, direktbetalning, faktura eller delbetalning. Genom att klicka på "Betala köp" godkänner du Kustoms och Adlibris allmänna villkor. Du kan ta del av hur dina personuppgifter behandlas i Adlibris personuppgiftspolicy, och i Kustoms dataskyddsinformation.
Hos Adlibris har du alltid 28 dagars ångerrätt från det att du mottagit din produkt. Returavgiften är 59 kr. Nedladdningsbara produkter omfattas inte av ångerrätten eftersom de levereras direkt efter köpet. För mer information om returer, återbetalning och reklamation, läs våra köpvillkor.
