LIBROS DEL AUTOR: richard a platek

1 resultados para LIBROS DEL AUTOR: richard a platek

richard a platek Eliminar filtro Quitar filtros
  • Logic and Computer Science
    Anil Nerode / Richard A. Platek / Steven Homer
    The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making C...
    Disponible

    48,34 €