Análise estruturada e formal das provas (Registo nº 19822)
[ vista simples ]
| 000 -CABEÇALHO | |
|---|---|
| fixed length control field | 01015nam a2200253Ia 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROLO | |
| control field | BNCV |
| 005 - DATA E HORA DA ULTIMA TRANSAÇÃO | |
| control field | 20231122114922.0 |
| 008 - CAMPOS FIXOS DE DADOS--CARATERÍSTICAS DO MATERIAL ADIOCIONAL--INFORMAÇÃO GERAL | |
| fixed length control field | 230626b cv ||||| |||| 00| 0 por d |
| 041 ## - LINGUAGEM DO TEXTO | |
| Código de idioma de texto | Português |
| Código de idioma do original | Português |
| 100 ## - AUTOR-ENTRADA PRINCIPAL | |
| Autor | Barreto, Maria Nilde Fernandes |
| 9 (RLIN) | 61454 |
| 245 ## - DECLARAÇÃO DE TÍTULO | |
| Titulo | Análise estruturada e formal das provas |
| 260 ## - ENDEREÇO BIBLIOGRÁFICO | |
| Lugar de pubicação/distribuição | Portugal : |
| Nome do editor, distribuidor, etc. | M N F B, |
| Data de publicação, distribuição, etc. | 2009 |
| 300 ## - DESCRIÇÃO FÍSICA | |
| Extensão (nº pag) | 104 p. |
| 500 ## - NOTAS GERAIS | |
| Notas gerais | Tese (mestrado) em matemática, sob orientação científica do Doutor João Carlos David Vieira, Doutor Manuel Antonio Gonçalves Martins do Departamento de Matemática da Universidade de Aveiro |
| 500 ## - NOTAS GERAIS | |
| Notas gerais | Inv. 2016 |
| 650 ## - ASSUNTO - TERMO TÉCNICO | |
| Palavra-chave | Lógica proposicional clássica-Lógica de primeira ordem |
| -- | 10570 |
| 650 ## - ASSUNTO - TERMO TÉCNICO | |
| Palavra-chave | Correção dos cálculos-Completude dos cálculos |
| -- | 10571 |
| 650 ## - ASSUNTO - TERMO TÉCNICO | |
| Palavra-chave | Sistema dedutivo-Cálculo de Hilbert |
| -- | 10572 |
| 650 ## - ASSUNTO - TERMO TÉCNICO | |
| Palavra-chave | Sistema de dedução natural-Teoria da prova |
| -- | 10573 |
| 700 ## - PONTO DE ACESSO ADICIONAL--NOME PESSOA | |
| Nome pessoal | Maria Nilde Fernandes Barreto |
| 9 (RLIN) | 61459 |
| 080 ## - NUMERO DE CLASSIFICAÇÃO DECIMAL UNIVERSAL | |
| CDU | 517 BAR an |
| 942 ## - ELEMENTOS DE ENTRADA ADICIONADOS (KOHA) | |
| Tipo de item Koha | Livro |
| Fonte de classificação ou esquema de arquivamento | Classificação Decimal Universal |
| 949 ## - INFORMAÇÕES DE PROCESSAMENTO LOCAL (OCLC) | |
| Creator ID | 1 |
| Creator Name | Ana Bela SEMEDO |
| 999 ## - | |
| -- | 19822 |
| -- | 19822 |
| Status retirado | Status perdido | Estado danificado | Não emprestar | Localização permanente | Localização atual | Data de aquisição | Total de checkouts | Número de chamada completa | Data da última vista | Preço efetivo apartir de | Tipo de item Koha | Localização das prateleiras |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Biblioteca Nacional de Cabo Verde | Biblioteca Nacional de Cabo Verde | 01/03/2019 | 517 BAR an | 01/03/2019 | 01/03/2019 | Livro | ||||||
| Biblioteca Nacional de Cabo Verde | Biblioteca Nacional de Cabo Verde | 01/03/2019 | 01/03/2019 | 01/03/2019 | Livro | Sala 2 |