Metadata
000 -Etiqueta do registo |
campo de controlo de comprimento fixo |
01129nam-a2200265---4500 |
001 - Identificador do registo |
Campo de controlo |
282942 |
005 - Identificador da versão |
Campo de controlo |
20230829112031.0 |
100 ## - Dados Gerais de Proc. |
Dados gerais de processamento |
20090929d2009 k y0pory5003 ba |
101 0# - Língua da publicação |
Língua do texto,banda sonora,etc. |
Português |
102 ## - País de Publicação |
País de publicação |
Portugal |
200 1# - Título |
Título próprio |
O teorema da normalização para lógica de primeira ordem |
Primeira menção de responsabilidade |
Jorge Manuel Martins Correia |
Outras menções de responsabilidade |
orient. José Carlos Espírito Santo, Luís Filipe Ribeiro Pinto |
210 ## - Publicação, Distribuição |
Lugar da edição,distribuição,etc. |
[Braga |
Nome do editor,distribuidor,etc. |
s.n.] |
Data da publicação,distribuição,etc. |
2009 |
215 ## - Descrição física |
Descrição física |
XI, 76 p. |
Dimensões |
30 cm |
300 ## - Notas gerais |
Texto da nota |
Existe versão em CD-ROM |
328 #0 - Nota de dissertação ou tese |
Especificações da dissertação ou tese e tipo de grau académico |
Tese mestrado |
Área cientifica do grau académico |
Matemática (área de especialização em Ensino) |
Instituição que confere o grau académico |
Escola de Ciências da Universidade do Minho |
Ano do grau académico |
2009 |
675 ## - CDU |
Notação |
510 |
Edição |
int |
Língua da edição |
Inglês |
700 #1 - Responsabilidade principal |
Palavra de ordem |
Correia, |
Outra parte do nome |
Jorge Manuel Martins |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
212278 |
Palavra de ordem |
Espírito Santo, |
Outra parte do nome |
José |
Código de função |
Orientador de tese |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
208380 |
Palavra de ordem |
Pinto, |
Outra parte do nome |
Luís F. |
Código de função |
Orientador de tese |
712 02 - Colectividade (resp. secundária) |
Palavra de ordem |
Universidade do Minho. |
Subdivisão |
Escola de Ciências |
Código de função |
Instituição que confere o grau |
801 #0 - Fonte de origem |
País |
Portugal |
Agência |
UMSD |
Data da última transacção |
20090929 |
Regras de catalogação |
RPC |
856 4# - Localização e acesso electrónico |
URL |
http://hdl.handle.net/1822/19204 |
Nota para informação ao público |
Versão electrónica. Acesso livre |
-- |
N |
090 ## - Números de controlo do sistema (Koha) |
Número biblioitem do Koha (gerado automaticamente) |
282942 |
942 ## - Elementos de entrada adicionados (Koha) |
Tipo de item no Koha |
Monografia |
Suprimido |
Disponível no OPAC |