Bokus

Jan M. Smith – författare

Visar alla böcker från författaren Jan M. Smith. Handla med fri frakt och snabb leverans.

2 produkter

  1. Giovanni Sambin, Jan M. Smith - Twenty Five Years of Constructive Type Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Twenty Five Years of Constructive Type Theory

    Av Giovanni Sambin, Jan M. Smith

    Inbunden, 1998

    1898 kr

    Lägg i varukorg

    Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This …

  2. Jan M. Smith, Giovanni Sambin - Twenty Five Years of Constructive Type Theory, E-bok. Tillgänglighet: Lägg i varukorg

    Twenty Five Years of Constructive Type Theory

    Av Jan M. Smith, Giovanni Sambin

    E-bok, 1998

    1283 kr

    Lägg i varukorg

    Per Martin-Löf''s work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This …