| 000 -Record Label |
|---|
| fixed length control field |
00905nam a2200265 4500 |
| 010 ## - ISBN - International Standard Book Number |
|---|
| Número (ISBN) |
3-540-57184-1 |
| Qualificação |
brochado |
| 100 ## - Entrada principal |
|---|
| Dados gerais de processamento |
19940111d1993 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 |
Computational logic and proof theory |
| Informação de outro título |
third Kurt Gõdel colloquium, KGC'93, held in Brno, Czech Republic, August 24-27, 1993 |
| Primeira menção de responsabilidade |
Georg Gottlob, Alexander Leitsch, Daniele Mundici, ed. lit. |
| 210 ## - Local de edição |
|---|
| Lugar da edição, distribuição, etc. |
Berlin |
| -- |
Heidelberg, DE [etc.] |
| Nome do editor, distribuidor, etc. |
Springer-Verlag |
| Data da publicação, distribuição, etc. |
cop. 1993 |
| 215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
|---|
| Descrição física |
XI, 348 p. |
| Outras indicações físicas |
il. |
| Dimensões |
24 cm |
| 225 ## - Coleção |
|---|
| Título próprio da colecção |
Lecture notes in computer science |
| Indicação de volume |
713 |
| 606 ## - Nome comum como assunto |
|---|
| Koha Internal code |
8412 |
| Elemento de entrada |
Demonstração de teoremas |
| 606 ## - Nome comum como assunto |
|---|
| Koha Internal code |
3524 |
| Elemento de entrada |
Lógica matemática |
| 680 ## - Classificação Biblioteca Congresso |
|---|
| Notação |
QA75.5 |
| 702 ## - Responsabilidade secundária |
|---|
| Palavra de ordem |
Gottlob |
| Outra parte do nome |
Georg |
| Código de função |
ed. lit. |
| Koha Internal Code |
16735 |
| 702 ## - Responsabilidade secundária |
|---|
| Palavra de ordem |
Leitsch |
| Outra parte do nome |
Alexander |
| Código de função |
ed. lit. |
| Koha Internal Code |
16721 |
| 702 ## - Responsabilidade secundária |
|---|
| Palavra de ordem |
Mundici |
| Outra parte do nome |
Daniele |
| Código de função |
ed. lit. |
| Koha Internal Code |
16736 |
| 801 ## - Fonte de origem |
|---|
| Regras de catalogação |
RPC |
| País |
Portugal |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Fonte da classificação ou esquema de estante |
|
| Tipo de item no Koha |
Monografia |
| Suprimido |
0 |
