LIBROS DEL AUTOR: william m farmer

1 resultados para LIBROS DEL AUTOR: william m farmer

william m farmer Eliminar filtro Quitar filtros
  • Simple Type Theory
    William M. Farmer
    This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based o...
    Disponible

    47,74 €