pular para conteúdo
Memoirs of a proof theorist : Gödel and other logicians Ver prévia deste item
FecharVer prévia deste item
Checando...

Memoirs of a proof theorist : Gödel and other logicians

Autor: Gaisi Takeuti
Editora: Singapore ; River Edge, NJ : World Scientific, ©2003.
Edição/Formato   Livro : Inglês : Rev. edVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections,  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Pessoa Denominada: Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo de Documento: Livro
Todos os Autores / Contribuintes: Gaisi Takeuti
ISBN: 9812382798 9789812382795
Número OCLC: 52400536
Notas: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Descrição: xviii, 135 p. : ill. ; 24 cm.
Conteúdos: On Godel; Work of Paul Bernays and Kurt Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Related Topics; From Hilbert to Godel; Axioms of Arithmetic and Consistency -- The Second Problem of Hilbert; A Report from Godel '96; Having Read " Godel Remembered"; A Tribute to the Memory of Professor Godel'; Appendices: On Godel's Continuum Hypothesis; Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC.
Outros Títulos: Gēderu.
Gödel and other logicians
Responsabilidade: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<http://www.worldcat.org/oclc/52400536>
library:oclcnum"52400536"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/52400536>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"Rev. ed."
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork<http://worldcat.org/entity/work/id/842073>
schema:inLanguage"en"
schema:name"Gödel and other logicians"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"
schema:numberOfPages"135"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.