N. (SRI International Shankar Forfatter

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

• 

  PRIS

  552,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

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

  Metamathematics, Machines and Godel's Proof (Bog, Paperback / softback, Engelsk)

  Af: N. (SRI International Shankar

  Describes the use of computer programs to check several proofs in the foundations of mathematics.

  PRIS

  552,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv