Búsqueda de LIBROS DEL AUTOR: andrew bacon

1 resultados

andrew bacon Eliminar filtro Quitar filtros
  • A PHILOSOPHICAL INTRODUCTION TO HIGHER-ORDER LOGICS
    ebook
    A PHILOSOPHICAL INTRODUCTION TO HIGHER-ORDER LOGICS
    ANDREW BACON
    This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages—their model theory and proof theory, the theory of λ-abstraction and its generalizations—and their philosophical applications, especially to the topics of...

    $1,160.00

    Ver detalle