Bokus

Xavier Caicedo – författare

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

3 produkter

  1. Carlos H. Montenegro, Xavier Caicedo - Models, Algebras, and Proofs, E-bok. Tillgänglighet: Lägg i varukorg

    Models, Algebras, and Proofs

    Av Carlos H. Montenegro, Xavier Caicedo

    E-bok, 2021

    3558 kr

    Lägg i varukorg

    Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features …

  2. Carlos H. Montenegro, Xavier Caicedo - Models, Algebras, and Proofs, E-bok. Tillgänglighet: Lägg i varukorg

    Models, Algebras, and Proofs

    Av Carlos H. Montenegro, Xavier Caicedo

    E-bok, 2021

    3636 kr

    Lägg i varukorg

    Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features …

  3. Xavier Caicedo, Carlos H. Montenegro - Models, Algebras, and Proofs, Häftad. Tillgänglighet: Tillfälligt slut

    Models, Algebras, and Proofs

    Av Xavier Caicedo, Carlos H. Montenegro

    Häftad, 1998

    3020 kr

    Tillfälligt slut

    "Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features …