LIBROS DEL AUTOR: m j beeson

1 resultados para LIBROS DEL AUTOR: m j beeson

m j beeson Eliminar filtro Quitar filtros
  • Foundations of Constructive Mathematics
    M.J. Beeson
    This book is about some recent work in a subject usually considered part of 'logic' and the' foundations of mathematics', but also having close connec­ tions with philosophy and computer science. Namely, the creation and study of 'formal systems for constructive mathematics'. The general organization of the book is described in the' User’s Manual' whi...
    Disponible

    157,53 €