LIBROS DEL AUTOR: zoran petric

1 resultados para LIBROS DEL AUTOR: zoran petric

zoran petric Eliminar filtro Quitar filtros
  • Proof-Theoretical Coherence
    Kosta Dosen / Zoran Petric
    This book in categorial proof theory formulates in terms of category theory a generalization close to linear algebra of the notions of distributive lattice and Boolean algebra. These notions of distributive lattice category and Boolean category codify a plausible nontrivial notion of identity of proofs in classical propositional logic, which is in accordance with Gentzen’s cut-...
    Disponible

    39,12 €