Búsqueda de LIBROS DEL AUTOR: rybakov v v

1 resultados

rybakov v v Eliminar filtro Quitar filtros
  • ADMISSIBILITY OF LOGICAL INFERENCE RULES
    ebook
    ADMISSIBILITY OF LOGICAL INFERENCE RULES
    RYBAKOV, V.V.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:• admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the bases for admissible and valid inference rules.There is particular emphasis on pr...

    $2,480.00

    Ver detalle