Proof interpretations (Record no. 605924)

000 -Etiqueta do registo
Cabeçalho 01213nam 2200313 4500
001 - Identificador do registo
Campo de controlo 605924
010 ## - Número internacional normalizado dos livros (ISBN)
Número (ISBN) 978-972-8564-42-1
Qualificação brochado
021 ## - Número do Depósito Legal
Código do país Portugal
Número 248692/06
090 ## - System Control Numbers (Koha)
Koha biblioitem number (autogenerated) 605924
100 ## - Dados gerais de processamento
Dados gerais de processamento 20210303d2006 m||y0pory50030103ba
101 0# - Língua de publicação
Língua do texto, banda sonora, etc. Inglês
102 ## - Pais de publicação ou produção
País de publicação Portugal
105 ## - Campo de dados codificados: livros
Dados codificados dos livros y z 100yy
106 ## - Campo de dados codificados: material textual
Dados codificados do material textual r
200 1# - Titulo e menção de responsabilidade
Título próprio Proof interpretations
Outras menções de responsabilidade Fernando Ferreira.
Título próprio de outro autor Ordinals, computations, and models of set theory
Outras menções de responsabilidade Peter Koepke
Informação de outro título two tutorials
Primeira menção de responsabilidade Meeting "Days in Logic '06"
Outras menções de responsabilidade ed. Reinhard Kahle, Isabel Oitavem
210 ## - Publicação, Distribuição, etc.
Lugar da edição, distribuição, etc. Coimbra
Nome do editor, distribuidor, etc. Departamento de Matemática da Universidade de Coimbra
Data da publicação, distribuição, etc. 2006
215 ## - Descrição física
Indicação específica da natureza do documento e extensão da espécie V, 78, [3] p.
Dimensões 24 cm
225 2# - Coleção
Título próprio da coleção Textos de matemática
Indicação de volume 38
606 ## - Nome comum usado como assunto
Palavra de ordem Matemática
606 ## - Nome comum usado como assunto
Palavra de ordem Conferências. Congressos. Colóquios
675 ## - Classificação Decimal Universal (CDU)
Notação 510.6(042)
701 #1 - Nome de autor-pessoa física (co-responsabilidade principal)
Palavra de ordem Koepke,
Outra parte do nome não tomada para palavra de ordem Peter
701 #1 - Nome de autor-pessoa física (co-responsabilidade principal)
Palavra de ordem Ferreira
Outra parte do nome não tomada para palavra de ordem Fernando
Datas 1958-
702 ## - Nome de autor-pessoa física (responsabilidade secundária)
Palavra de ordem Kahle
Outra parte do nome não tomada para palavra de ordem Reinhard
Datas 1967-
702 #1 - Nome de autor-pessoa física (responsabilidade secundária)
Palavra de ordem Rocha,
Outra parte do nome não tomada para palavra de ordem Isabel Maria Oitavem Fonseca da
710 12 - Nome de colectividade-autor (responsabilidade principal)
Palavra de ordem Meeting "Days in Logic '06",
Número do grupo-eventual e/ou número de uma parte do grupo-eventual 2,
Local do grupo-eventual Coimbra,
Data do grupo-eventual 2006
856 41 - Localização e acesso electrónico
URL http://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1698071&img=97084&save=true
990 ## - Elementos KOHA
Tipo de documento Koha Livros
Holdings
Situação do extravio Número de registo Número interno Koha (auto-gerado) Biblioteca de empréstimo Biblioteca de empréstimo Código de barras Cota Permissão de empréstimo Tipo de documento Forma de aquisição
  LSR313471 741381 Biblioteca Pública e Arquivo Regional Luís da Silva Ribeiro Biblioteca Pública e Arquivo Regional Luís da Silva Ribeiro LSR313471 FG/B-131344 Não é permitido emprestar Livros Depósito Legal

Autonomia dos Açores Digital | Koha parametrizado e estendido por Estrutura para a Casa da Autonomia

Autonomia dos Açores Digital | Koha parameterized and extended by Estrutura para a Casa da Autonomia

Ao continuar a navegar no CCB - Património Bibliográfico Açores está a aceitar a utilização de cookies para optimizar o funcionamento deste serviço web e para fins estatísticos.

Para mais informações, consulte a nossa Política de Privacidade.

By using our website CCB - Património Bibliográfico Açores you are accepting the usage of cookies for optimization and analytics purposes.

For more information, please check our Privacy Policy.