LIBROS DEL AUTOR: raymond r smullyan

1 resultados para LIBROS DEL AUTOR: raymond r smullyan

raymond r smullyan Eliminar filtro Quitar filtros
  • First-Order Logic
    Raymond R. Smullyan
    Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in 'analytic' or 'cut-free' methods. We use the term 'analytic' to apply to any proof procedure which obeys the subformula principle (we think of such a procedure ...
    Disponible

    66,83 €