LIBROS DEL AUTOR: csernadas

1 resultados para LIBROS DEL AUTOR: csernadas

csernadas Eliminar filtro Quitar filtros
  • Foundations of Logic and Theory of Computation
    A. Sernadas / ASernadas / C. Sernadas / CSernadas
    The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert’s programme for the formalization of Mathematics. It is widely known that the programme failed with Gödel’s incompleteness theorems and related negative results about arithmet...
    Disponible

    40,51 €