LIBROS DEL AUTOR: matthias baaz

2 resultados para LIBROS DEL AUTOR: matthias baaz

matthias baaz Eliminar filtro Quitar filtros
  • Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic
    Matthias Baaz
    The IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).  ...
    Disponible

    34,50 €

  • Methods of Cut-Elimination
    Alexander Leitsch / Matthias Baaz
    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods fr...
    Disponible

    133,89 €