Búsqueda de LIBROS DEL AUTOR: katalin bimbo

2 resultados

katalin bimbo Eliminar filtro Quitar filtros
  • PROOF THEORY
    ebook
    PROOF THEORY
    KATALIN BIMBO
    Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi ...

    $1,600.00

    Ver detalle
  • COMBINATORY LOGIC
    ebook
    COMBINATORY LOGIC
    KATALIN BIMBÓ
    Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working knowledge that is rigorous, curren...

    $1,600.00

    Ver detalle