Grigori Mints Forfatter

Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk

• 

  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