No. de Sistema: ( 294608 ) Clasificación LC: ( QA9.59 .K4 1996)
ISBN: ( 9780070339392 ) ( 0079129315 ) ( 9780079129314 ) ( 0070339392 )
Autor: Keisler, H. Jerome.
Título: Mathematical logic and computability /
Responsabilidad: H. Jerome Keisler, Joel Robbin.
Pie de imprenta: New York : McGraw-Hill, 1996
Descripción física: vii, 484 p. ; 24 cm. + 1 Disco de 3 1/2 plg.
Serie: International Series in Pure and Applied Mathematics. .

Incluye referencias bibliográficas e índice.

Temas - Términos temáticos (Subjects--Topical Terms):

  • Logica simbólica y matemática
  • Computable functions
  • Computadores
  • Formal languages
  • Logic, Symbolic and mathematical

    • Entradas Secundarias - Nombre Personal:
    Robbin, Joel, coaut.
    Ítems:
    Código de barras: [ 165429 ] Biblioteca: [ Biblioteca Magna ] Colección/Fondo: [Acervo General] Tipo de ítem: [ 01-Préstamo Interno (Libros) ]