LIBROS DEL AUTOR: m zawadowski

1 resultados para LIBROS DEL AUTOR: m zawadowski

m zawadowski Eliminar filtro Quitar filtros
  • Sheaves, Games, and Model Completions
    M. Zawadowski / Silvio Ghilardi
    This book is an example of fruitful interaction between (non-classical) propo­ sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model­ completions for equational theories arising from propositional logics (such as the theory of Heyting algebras and var...
    Disponible

    134,08 €