Biblioteca Municipal Eduardo Lourenço. Pesquisa: "DE Teorema de Gödel" + "DE Teorema de Gödel$" Resultados de 1 a 2 sobre 2 encontrados.
Enviar resultados por:
  
impressão de resultados
  
Exportação de resultados para iso2709
  
Visualizar no formato:
Seleccionar resultados:
    

Autor: GODEL, Kurt, 1906-1978
Título: O teorema de Gödel e a hipótese do contínuo / Kurt Gödel ; antologia organizada e traduzida por Manuel S. Lourenço
Edição: 2ª ed
Publicação: Lisboa : Fundação Calouste Gulbenkian, 2009
Descrição física: X, 943, [2] p. : il., fórmulas ; 23 cm
Colecção: (Manuais universitários)
ISBN: ISBN 978-972-31-1284-9 : Oferta
Nº do Depósito Legal: PT|292771/09
Assuntos:
Lógica matemática / Teorema de Gödel / Manuais universitários
CDU: 510.6(075.8)
Cota: 51 GOD TEO BMEL 70712
Tipo de documento: Texto impresso
País de publicação: Portugal

Outro(s) autor(es) : Lourenço, M. S., 1936-2009, compil.

O teorema de Gödel e a hipótese do contínuo

O teorema de Gödel e a hipótese do contínuo



Marcar
Reservar exemplar

Ver informação de exemplares

Autor: GOLDSTEIN, Rebecca, 1950-
Título: Incompletude : a demonstração e o paradoxo de Kurt Gödel / Rebecca Goldstein ; tradução [de] David Gaspar
Edição: 1ª ed
Publicação: Lisboa : Gradiva, 2009
Descrição física: 300, [3] p. ; 21 cm
Colecção: (Ciência aberta ; 177)
ISBN: ISBN 978-989-616-308-2 : Oferta
Nº do Depósito Legal: PT|292 110/2009
Assuntos: Gödel, Kurt, 1906-1978
Teorema de Gödel / Lógica
CDU: 51
929 Gödel, Kurt
Cota: 51 GOL INC BMEL 39799
Tipo de documento: Texto impresso
País de publicação: Portugal

Outro(s) autor(es) : Gaspar, David, trad.

Incompletude

Incompletude



Marcar
Reservar exemplar

Ver informação de exemplares