Metadata
000 -Etiqueta do registo |
campo de controlo de comprimento fixo |
01103nam-a2200253---4500 |
001 - Identificador do registo |
Campo de controlo |
266252 |
005 - Identificador da versão |
Campo de controlo |
20200804152141.0 |
010 ## - ISBN |
Número (ISBN) |
0-7923-6544-5 |
Qualificação |
Encadernado |
100 ## - Dados Gerais de Proc. |
Dados gerais de processamento |
20071016d2000 k y0pory5003 ba |
101 0# - Língua da publicação |
Língua do texto,banda sonora,etc. |
Inglês |
102 ## - País de Publicação |
País de publicação |
Holanda |
200 1# - Título |
Título próprio |
Proof theory |
Informação de outro título |
history and philosophical significance |
Primeira menção de responsabilidade |
edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jorgensen |
210 ## - Publicação, Distribuição |
Lugar da edição,distribuição,etc. |
Dordrecht |
Nome do editor,distribuidor,etc. |
Kluwer Academic Publishers |
Data da publicação,distribuição,etc. |
cop. 2000 |
215 ## - Descrição física |
Descrição física |
XII, 244 p. |
Dimensões |
25 cm |
225 2# - Colecção |
Título próprio da colecção |
Synthese library. |
Nome de uma parte ou secção |
Studies in epistemology, logic, methodology and philosophy of science |
Indicação de volume |
292 |
675 ## - CDU |
Notação |
510.6(091) |
Edição |
int |
Língua da edição |
Inglês |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
224955 |
Palavra de ordem |
Hendricks, |
Outra parte do nome |
Vincent F. |
Código de função |
Coordenador/Editor |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
224957 |
Palavra de ordem |
Jorgensen, |
Outra parte do nome |
Klaus Frovin |
Código de função |
Coordenador/Editor |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
224956 |
Palavra de ordem |
Pedersen, |
Outra parte do nome |
Stig Andur, |
Datas |
1943- |
Código de função |
Coordenador/Editor |
710 12 - Colectividade (resp. principal) |
Palavra de ordem |
Conference Proof theory : history and philosophical significance, |
Local do grupo-eventual |
Roskilde, Denmark, |
Data do grupo-eventual |
1997 |
801 #0 - Fonte de origem |
País |
Portugal |
Agência |
UMSD |
Data da última transacção |
20071016 |
Regras de catalogação |
RPC |
090 ## - Números de controlo do sistema (Koha) |
Número biblioitem do Koha (gerado automaticamente) |
266252 |
942 ## - Elementos de entrada adicionados (Koha) |
Tipo de item no Koha |
Monografia |
Suprimido |
Disponível no OPAC |