pular para conteúdo
Formally self-referential propositions for cut free classical analysis and related system Ver prévia deste item
FecharVer prévia deste item
Checando...

Formally self-referential propositions for cut free classical analysis and related system

Autor: G Kreisel; G Takeuti
Editora: Warzawa Państwowe Wydawnistwo Naukowe 1974
Séries: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Edição/Formato   Livro : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Classificação:

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

 

Encontrar uma cópia na biblioteca

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

Detalhes

Tipo de Documento: Livro
Todos os Autores / Contribuintes: G Kreisel; G Takeuti
Número OCLC: 246216180
Descrição: 55 S
Título da Série: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Responsabilidade: G. Kreisel; G. Takeuti

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/246216180>
library:oclcnum"246216180"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:author
schema:creator
schema:datePublished"1974"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2210419>
schema:inLanguage"en"
schema:isPartOf
schema:name"Formally self-referential propositions for cut free classical analysis and related system"
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

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