Grigori Mints Forfatter

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

• 

  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