LIBROS DEL AUTOR: adrian rezus

2 resultados para LIBROS DEL AUTOR: adrian rezus

adrian rezus Eliminar filtro Quitar filtros
  • Contemporary Logic and Computing
    Adrian Rezus
    The present volume stems from a book-proposal made about two years ago to College Publications, London. The main idea was that of illustrating the interplay between the contemporary work in logic and the mainstream mathematics.The division of the volume in two sections – topics in ‘logic’ vs topics in ‘computing’ – is more or less conventional. Some contributions are focussed o...
    Disponible

    29,99 €

  • Witness Theory
    Adrian Rezus
    This book is concerned with the mathematical analysis of the concept of formal proof in classical logic, and records - in substance - a longer exercise in applied λ-calculus.Following colloquialisms going back to L. E. J. Brouwer, the objects of study in this enterprise are called witnesses. A witness is meant to represent the logical proof of a classically valid formula, in a ...
    Disponible

    24,72 €