LIBROS DEL AUTOR: david j pym

1 resultados para LIBROS DEL AUTOR: david j pym

david j pym Eliminar filtro Quitar filtros
  • The Semantics and Proof Theory of the Logic of Bunched Implications
    David J. Pym
    This is a monograph about logic. Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl’s proof theory, model theory and computation theory. However, the mono­ graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reason...
    Disponible

    207,45 €