| 000 -Record Label |
|---|
| fixed length control field |
01056nam0a2200301 4500 |
| 005 - Version Identifier |
|---|
| control field |
20141103142430.0 |
| 995 ## - Location and Item Information (Koha) |
|---|
| -- |
UMA01 |
| -- |
UMA |
| -- |
01 |
| 100 ## - General Processing Data |
|---|
| General Processing Data |
20070529d2006----km-y0pory5003----ba |
| 101 0# - Language of the Item |
|---|
| Language of the Text, Soundtrack, etc. |
por |
| 102 ## - Country of Publication or Production |
|---|
| Country of Publication |
PT |
| 200 1# - Title and Statement of Responsibility |
|---|
| Title Proper |
Lógica modal etiquetada em Isabelle |
| First Statement of Responsibility |
Marco Paulo Ferreirinha Garapa |
| Subsequent Statement of Responsibility |
orient. Francisco Miguel Alves Campos de Sousa Dionisio |
| 210 ## - Publication, Distribution, etc. |
|---|
| Place of Publication, Distribution, etc. |
Funchal |
| Name of Publisher, Distributor, etc. |
Marco Paulo Ferreirinha Garapa |
| Data of Publication, Distribution, etc. |
2006 |
| 215 ## - Physical Description |
|---|
| Specific Material Designation and Extent of Item |
265 p |
| Accompanying Material |
Curr. vitae |
| 328 ## - Notes Pertaining to Dissertations (Thesis) |
|---|
| Text of Note |
Mestrado em Matemática (Área de Especialização de Matemática para o Ensino), pela Universidade da Madeira |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Lógica modal |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Lógica modal etiquetada |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Sequentes |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Dedução natural |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Isabelle |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Demonstração automática |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Tácticas |
| System Code |
CF |
| 606 ## - Topical Name Used as Subject |
|---|
| Entry Element |
Teses de Mestrado |
| System Code |
LINCE |
| 675 ## - Universal Decimal Classification (UDC) |
|---|
| Number |
51 |
| 700 #1 - Personal Name - Primary Intellectual Responsibility |
|---|
| Entry Element |
Garapa |
| Part of Name Other than Entry Element |
Marco Paulo Ferreirinha |
| 702 #1 - Personal Name - Secondary Intellectual Responsibility |
|---|
| Entry Element |
Dionísio |
| Part of Name Other than Entry Element |
Francisco Miguel Alves Campos de Sousa |
| Relator Code |
727 |
| 712 02 - Corporate Body - Secondary Intellectual Responsibility |
|---|
| Entry Element |
Universidade da Madeira |
| Relator Code |
340 |
| 801 #0 - Originating Source |
|---|
| Country |
PT |
| Agency |
SDUMA |
| 090 ## - System Control Numbers (Koha) |
|---|
| Koha biblioitem number (autogenerated) |
50216 |