LIBROS DEL AUTOR: john lbell

4 resultados para LIBROS DEL AUTOR: john lbell

john lbell Eliminar filtro Quitar filtros
  • Higher-Order Logic and Type Theory
    John L. Bell / John LBell
    ...
    Disponible

    27,53 €

  • Living with the Psalms
    John L. Bell / John LBell
    Developed during his teaching ministry around the world, this book is the fruit of a lifetime’s engagement with the Psalms. As a broadcaster and writer, John is loved for being entirely genuine and, in the words of Archbishop Justin Welby, ’his cogent and penetrating contributions reach an audience well beyond the churches’.Here John explores the psalms as they impinge on daily...
    Disponible

    13,04 €

  • Intuitionistic Set Theory
    John L. Bell / John LBell
    While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a ...
    Disponible

    21,91 €

  • The Axiom of Choice
    J. L. Bell / JLBell / John L. Bell / John LBell
    This book presents an overview of the development of theAxiom of Choice since its introduction by Zermelo at thebeginning of the last century. The book surveys the Axiom ofChoice from three perspectives. The first, or mathematicalperspective, is that of the 'working mathematician'. Thisperspective brings into view the manifold applications of theAxiom of Choice-usually in the g...
    Disponible

    34,54 €