Metadata
000 -Etiqueta do registo |
campo de controlo de comprimento fixo |
01020nam a2200253 4500 |
001 - Identificador do registo |
Campo de controlo |
55104 |
100 ## - Dados Gerais de Proc. |
Dados gerais de processamento |
20070713d2006 u||y0pory50 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 |
Caracterizações semânticas e dedutivas da lógica proposicional bi-intuicionista |
Primeira menção de responsabilidade |
Carlos Jorge Pereira Monteiro |
Outras menções de responsabilidade |
orient. Luís Filipe Pinto |
210 ## - Publicação, Distribuição |
Lugar da edição, distribuição, etc. |
Vila Real |
Nome do editor, distribuidor, etc. |
[s.n.] |
Data da publicação, distribuição, etc. |
2006 |
215 ## - Descrição física |
Descrição física |
X, 100 f. |
Dimensões |
30 cm |
328 ## - Nota de dissertação ou tese |
Texto da nota |
Dissertação de Mestrado em Ensino da Matemática, apresentada à Universidade de Trás-os-Montes e Alto Douro |
606 ## - Nome comum |
Código do sistema |
Test |
Elemento de entrada |
Lógica matemática |
Subdivisão de assunto |
[Teses] |
610 1# - Termos de Indexação |
Termo usado como assunto |
Lógica bi-intuicionista |
675 ## - CDU |
Notação |
510.6(043.2) |
Edição |
med |
Língua da edição |
Português |
700 #1 - Responsabilidade principal |
Palavra de ordem |
Monteiro |
Outra parte do nome |
Carlos Jorge Pereira |
702 #1 - Responsabilidade secundária |
Código de função |
Orientador científico |
Palavra de ordem |
Pinto |
Outra parte do nome |
Luís Filipe |
801 #0 - Fonte de origem |
País |
Portugal |
Agência |
UTADBG |
Regras de catalogação |
RPC |
090 ## - Números de controlo do sistema (Koha) |
Número biblioitem do Koha (gerado automaticamente) |
55104 |
942 ## - Elementos de entrada adicionados (Koha) |
Tipo de item no Koha |
Monografia |
Suprimido |
Disponível no OPAC |
999 ## - |
-- |
55105 |