Saltar al contenido

UAM Iztapalapa 50 años

Login
  • 0 elementos (Completo)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Idioma
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Búsqueda Avanzada
  • Undecidable theories /
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Añadir a la Mochila Eliminar de la Mochila
  • Enlace Permanente
Cargando…
Vista preliminar
Vista preliminar
Vista preliminar

Undecidable theories /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Tarski, Alfred, 1901-1983, Mostowski, Andrzej, Robinson, Raphael M. (Raphael Mitchel), 1911-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland, 1953.
Colección:Studies in logic and the foundations of mathematics ; v. 13.
Temas:
G�odel's theorem.
Decidability (Mathematical logic)
Th�eor�eme de G�odel.
D�ecidabilit�e (Logique math�ematique)
G�odel's theorem
Acceso en línea:Texto completo
Texto completo
Texto completo
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Ejemplares similares
  • Etiquetas MARC

Internet

Texto completo
Texto completo
Texto completo

Error inesperado del formato de respuesta.
Detalle de Existencias desde

Ejemplares similares

  • Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /
    Publicado: (1952)
  • Word problems II : the Oxford book /
    Publicado: (1980)
  • A computational logic handbook /
    por: Boyer, Robert S.
    Publicado: (1988)
  • Symbolic logic and mechanical theorem proving
    por: Chang, Chin-Liang, 1937-, et al.
    Publicado: (1973)
  • Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
    Publicado: (1993)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Historial de Búsqueda
  • Catálogo Anterior

¿Necesitas ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.