Rob (Technische Universiteit Eindhoven Nederpelt Forfatter

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

• 

  PRIS

  859,- kr

  FRAGT FRA 39,-

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

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

  Type Theory and Formal Proof: An Introduction (Bog, Hardback, Engelsk)

  Af: Rob (Technische Universiteit Eindhoven Nederpelt

  Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in... Læs mere

  PRIS

  859,- kr

  FRAGT FRA 39,-

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

  Læg i kurv