Metadata
| 000 -Etiqueta do registo |
|---|
| campo de controlo de comprimento fixo |
nam a22 4500 |
| 001 - Identificador do registo |
|---|
| Campo de controlo |
223639 |
| 010 ## - ISBN |
|---|
| Número (ISBN) |
1402007639 |
| Qualificação |
encadernado |
| 100 ## - Dados Gerais de Proc. |
|---|
| Dados gerais de processamento |
20240611d2002 k||y0pory50 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 |
An introduction to mathematical logic and type theory |
| Informação de outro título |
to truth through proof |
| Primeira menção de responsabilidade |
by Peter B. Andrews |
| 205 ## - Menção da edição |
|---|
| Menção da edição |
2nd ed. |
| 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. 2002 |
| 215 ## - Descrição física |
|---|
| Descrição física |
xviii, 390 p. |
| Dimensões |
25 cm |
| 225 2# - Colecção |
|---|
| Título próprio da colecção |
Applied Logic Series |
| Indicação de volume |
27 |
| 606 ## - Nome comum |
|---|
| Koha Internal code |
34105 |
| Elemento de entrada |
Lógica |
| 606 ## - Nome comum |
|---|
| Koha Internal code |
34151 |
| Elemento de entrada |
Lógica simbólica |
| 606 ## - Nome comum |
|---|
| Koha Internal code |
34140 |
| Elemento de entrada |
Lógica matemática |
| 675 ## - CDU |
|---|
| Notação |
16 |
| Edição |
BN |
| Língua da edição |
Português |
| 675 ## - CDU |
|---|
| Notação |
164 |
| Língua da edição |
Português |
| Edição |
BN |
| 700 ## - Responsabilidade principal |
|---|
| Koha Internal Code |
266357 |
| Palavra de ordem |
Andrews, |
| Outra parte do nome |
Peter Bruce, |
| Datas |
1937- |
| 801 ## - Fonte de origem |
|---|
| País |
Portugal |
| Agência |
UNLFCSH |
| Regras de catalogação |
RPC |
| 090 ## - Números de controlo do sistema (Koha) |
|---|
| Número biblioitem do Koha (gerado automaticamente) |
223639 |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Tipo de item no Koha |
Book |
| Suprimido |
Disponível no OPAC |
