Aller au contenu

UAM Iztapalapa 50 años

Login
  • 0 notices (Plein)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Langue
    • Inglés
    • Español
    • Francés
bannerbg
Recherche avancée
  • Undecidable theories /
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Ajouter au panier Retirer du panier
  • Permalien
Chargement en cours…
Prévisualiser
Prévisualiser
Prévisualiser

Undecidable theories /

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Tarski, Alfred, 1901-1983, Mostowski, Andrzej, Robinson, Raphael M. (Raphael Mitchel), 1911-
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam : North-Holland, 1953.
Collection:Studies in logic and the foundations of mathematics ; v. 13.
Sujets:
G�odel's theorem.
Decidability (Mathematical logic)
Th�eor�eme de G�odel.
D�ecidabilit�e (Logique math�ematique)
G�odel's theorem
Accès en ligne:Texto completo
Texto completo
Texto completo
  • Exemplaires
  • Description
  • Table des matières
  • Documents similaires
  • Affichage MARC
Description
Description matérielle:1 online resource (ix, 98 pages)
Bibliographie:Includes bibliographical references and index.
ISBN:9780444533784
0444533788

Documents similaires

  • Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /
    Publié: (1952)
  • Word problems II : the Oxford book /
    Publié: (1980)
  • A computational logic handbook /
    par: Boyer, Robert S.
    Publié: (1988)
  • Symbolic logic and mechanical theorem proving
    par: Chang, Chin-Liang, 1937-, et autres
    Publié: (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 /
    Publié: (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

  • Historique de recherche
  • Catálogo Anterior

¿Necesitas ayuda?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ

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