Cargando…

Metamathematics, machines, and Gödel's proof /

Detalles Bibliográficos
Autor principal: Shankar, N.
Formato: Libro
Lenguaje:English
Publicado: Cambridge ; New York : Cambridge University Press, 1994.
Colección:Cambridge tracts in theoretical computer science ; v.38
Materias:

Física, Matemáticas e Inteligencia Artificial Xalapa -

Detalle de Existencias desde Física, Matemáticas e Inteligencia Artificial Xalapa -
Número de Clasificación: QA9.65 S42
Copia 1 Disponible Hacer reserva
Notas:
  • MIAX