Lógica modal etiquetada em Isabelle (Record no. 50216)

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
Holdings
Origin of item (home branch) (coded) Type of item and material Internal itemnumber (Koha itemnumber) Lost status Call number (full call number) Withdrawn status Barcode Coded location qualifier Circulation type (not for loan)
Biblioteca da Universidade da MadeiraLivro67878 T/M UMa 51 GAR Lóg B822352007-05-29 

Biblioteca da Universidade da Madeira
Telefone (geral): 291705070. Responsável: Doutora Iolanda Silva - email: iolanda.silva@staff.uma.pt; Serviço de Referência: Mestre Hélder Maurício - email: helder.mauricio@staff.uma.pt; Serviço de Gestão Digital: Dr. António Freitas – email: antonio.freitas@staff.uma.pt
Morada: Campus Universitário da Penteada, 9000-390 - Funchal - Madeira

Powered by Koha