Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03F40 - Gödel numberings in proof theory
Mostrando 1-5 de 5 resultados, ordenados por

Gödel (para todos)

Guillermo Martínez y Gustavo Piñeiro.

Buenos Aires : Seix Barral, 2009.

Ubicación:

  • 03
    M385g

Imagen de la tapa

Gödel's theorem : an incomplete guide to its use and abuse

Torkel Franzén.

Wellesley, MA : A K Peters, ©2005.

Ubicación:

  • 03
    F837

Sobre proposiciones formalmente indecidibles de los Principia mathematica y sistemas afines

Kurt Gödel ; con una introducción de R. B. Braithwaite.

Valencia : Revista Teorema [Departamento de Lógica, Universidad de Valencia], 1980.

Ubicación:

  • A-5537
    (Vieja ubicación)

El teorema de Gödel

Ernest Nagel y James R. Newman ; [traducción por Adolfo Martín].

Madrid : Tecnos, ©1970.

Ubicación:

  • 03
    N147e
  • Ej. 2:
    03
    N147e

Gödel's proof

by Ernest Nagel and James R. Newman.

[New York] : New York University Press, 1958.

Ubicación:

  • 03
    N147

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos