Bokus

Matthew Valeriote – författare

Visar alla böcker från författaren Matthew Valeriote. Handla med fri frakt och snabb leverans.

3 produkter

  1. Ralph McKenzie, Matthew Valeriote - Structure of Decidable Locally Finite Varieties, Inbunden. Tillgänglighet: Lägg i varukorg

    Structure of Decidable Locally Finite Varieties

    Av Ralph McKenzie, Matthew Valeriote

    Inbunden, 1989

    552 kr

    Lägg i varukorg

    A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo­ sitions of arithmetic. During the 1930s, in the work of such mathemati­ cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, …

  2. Matthew Valeriote, Ralph McKenzie - Structure of Decidable Locally Finite Varieties, E-bok. Tillgänglighet: Lägg i varukorg

    Structure of Decidable Locally Finite Varieties

    Av Matthew Valeriote, Ralph McKenzie

    E-bok, 2012

    718 kr

    Lägg i varukorg

    A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel''s [1931] paper on formally undecidable propo­ sitions of arithmetic. During the 1930s, in the work of such mathemati­ cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, …

  3. Ralph McKenzie, Matthew Valeriote - Structure of Decidable Locally Finite Varieties, Häftad. Tillgänglighet: Lägg i varukorg

    Structure of Decidable Locally Finite Varieties

    Av Ralph McKenzie, Matthew Valeriote

    Häftad, 2011

    552 kr

    Lägg i varukorg

    A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo­ sitions of arithmetic. During the 1930s, in the work of such mathemati­ cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, …