Grigori Mints Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  1.412,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  A Short Introduction to Intuitionistic Logic (Bog, Paperback / softback, Engelsk)

  Af: Grigori Mints

  Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

  PRIS

  1.412,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  1.358,- kr

  FRAGTFRI LEVERING

  Levering: 6 - 9 hverdage

  Bemærk: Kan leveres før jul.

  A Short Introduction to Intuitionistic Logic (Bog, Hardback, Engelsk)

  Af: Grigori Mints

  Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

  PRIS

  1.358,- kr

  FRAGTFRI LEVERING

  Levering: 6 - 9 hverdage

  Læg i kurv