000 -Record Label |
fixed length control field |
00855nam a2200289 4500 |
010 ## - ISBN - International Standard Book Number |
Número (ISBN) |
3-540-09724-4 |
Qualificação |
brochado |
Modalidade de aquisição e/ou preço |
Esc 564$ |
100 ## - Entrada principal |
Dados gerais de processamento |
19910625d1979 k||y0pory50 ba |
101 ## - Língua do documento |
Língua do texto, banda sonora, etc. |
eng |
102 ## - País da publicação |
País de publicação |
Germany |
200 ## - Título |
Título próprio |
Edinburgh LCF |
Informação de outro título |
a mechanised logic of computation |
Primeira menção de responsabilidade |
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth |
210 ## - Local de edição |
Lugar da edição, distribuição, etc. |
Berlin |
Nome do editor, distribuidor, etc. |
Springer-Verlag |
Data da publicação, distribuição, etc. |
cop. 1979 |
215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
Descrição física |
VIII, 159 p. |
Dimensões |
25 cm |
225 ## - Coleção |
Título próprio da colecção |
Lecture notes in computer science |
Indicação de volume |
78 |
606 ## - Nome comum como assunto |
Elemento de entrada |
Computação |
Subdivisão de assunto |
Fundamentos |
Koha Internal code |
12417 |
606 ## - Nome comum como assunto |
Elemento de entrada |
Lógica |
Koha Internal code |
3302 |
680 ## - Classificação Biblioteca Congresso |
Notação |
QA76 |
686 ## - Outras classificações |
Notação |
CIUL-175 |
700 ## - Autor (resp. principal) |
Palavra de ordem |
Gordon |
Outra parte do nome |
Michael J. C. |
Koha Internal Code |
12419 |
701 ## - Co-responsabilidade principal |
Código de função |
co-aut. |
Palavra de ordem |
Milner |
Outra parte do nome |
Arthur J. |
Koha Internal Code |
13118 |
701 ## - Co-responsabilidade principal |
Código de função |
co-aut. |
Palavra de ordem |
Wadsworth |
Outra parte do nome |
Christopher |
Koha Internal Code |
13119 |
801 ## - Fonte de origem |
País |
Portugal |
Regras de catalogação |
RPC |
942 ## - Elementos de entrada adicionados (Koha) |
Fonte da classificação ou esquema de estante |
|
Tipo de item no Koha |
Monografia |
Suprimido |
0 |