Búsqueda de LIBROS DEL AUTOR: m e szabo

1 resultados

m e szabo Eliminar filtro Quitar filtros
  • ALGEBRA OF PROOFS
    ebook
    ALGEBRA OF PROOFS
    M. E. SZABO
    Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of t...

    $970.00

    Ver detalle