Visar alla böcker från författaren {{authorName}}. Handla med fri frakt och snabb leverans.

https://classic.bokus.com/cgi-bin/log_in_real.cgi?redirect=/cgi-bin/account_bplay_settings.cgi

Just nu hanterar du ditt Bokus Play-abonnemang på vår tidigare webbplats.

Upptäck tusentals ljudböcker och e-böcker med Bokus Play. Välj det abonnemang som passar dig och börja läs eller lyssna direkt, snabbt och smidigt.

Hantera ditt Bokus Play-abonnemang

Utforska vårt utbud av produkter inom {{category}}. Köp online eller reservera i butik.

Företag, bibliotek eller offentlig förvaltning?

Köp dina böcker online eller reservera i butik! Inspireras av personalens digitala boktips och hitta din närmaste butik.

Just nu hanterar du dina digitala böcker på vår tidigare webbplats.

Din digitala bokhylla

E-böcker och ljudböcker handlar du än så länge på vår

Letar du efter digitala böcker?

...men än så länge handlar du den på vår tidigare sajt.

Produkten finns fortfarande tillgänglig på vår tidigare sajt.

Vi har boken

Hej {{firstName}}. Vi behöver din e-postadress för att kunna slutföra inloggningen.

Vi är ledsna - just nu kan du inte se dina sparade favoriter. Vi jobbar på att få tillbaka funktionen så snart
 vi kan.
 
 
 Har du frågor är du alltid välkommen att
 <a href="/kundservice" class="text-subdued link-underline whitespace-nowrap">
 kontakta vår kundservice
 </a>

Dina favoriter kommer snart tillbaka

Sidfot

Ange engångskoden som vi har skickat till {{recipient}} för att logga in.

Ange din engångskod

Ta del av exklusiva vänpriser, personliga erbjudanden, inspirerande evenemang, utvalda boktips och mycket mer. Bli medlem idag och få mer av det du gillar!

Du behöver ange din e-postadress för att fortsätta inloggningen.

Vi hittar inget medlemskonto kopplat till ditt personnummer. Vill du bli medlem? 

Lägg till mobilnummer

Ange din nya epostadress nedan. Du kommer sedan få ett mail med en kod för att verifiera din nya epostadress.

Ändra epostadress

Ange ditt nya mobilnummer nedan. Du kommer sedan få ett sms med en kod för att verifiera ditt nya mobilnummer.

Ändra mobilnummer

Här väljer du hur du vill ta emot erbjudanden, nyheter och inspiration från oss. Du kan ändra dina inställningar när som helst.

Du handlar på <a href="https://classic.bokus.com">classic.bokus.com</a>, där alla dina funktioner finns intakta.

product

Home

Campaigns Navigation

Popular Navigation

Settings Navigation

Jeremy Avigad

Assia Mahboubi

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.   The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.

Företag, bibliotek eller offentlig verksamhet?

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Beskrivning

Produktinformation

Utforska kategorier

Du kanske också är intresserad av

Proof Assistants and Their Applications in Mathematics and Computer Science

Mathematical Logic and Computation

Sallad!

SIGNERAD - Sallad

Där lavendelfälten blommar

När jorden brister

Allt det blå på himlen

Ambassadörens dotter

SIGNERAD - Systrarna på Sophiahemmet

Fars rygg

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration