Metadata
| 000 -Etiqueta do registo |
|---|
| campo de controlo de comprimento fixo |
00922nam-a2200253---4500 |
| 001 - Identificador do registo |
|---|
| Campo de controlo |
288130 |
| 005 - Identificador da versão |
|---|
| Campo de controlo |
20200804154752.0 |
| 010 ## - ISBN |
|---|
| Número (ISBN) |
1-4020-2334-0 |
| Qualificação |
Encadernado |
| 010 ## - ISBN |
|---|
| Número (ISBN) |
978-1-4020-2334-7 |
| 100 ## - Dados Gerais de Proc. |
|---|
| Dados gerais de processamento |
20100616e20102004k 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 |
Reino Unido |
| 200 1# - Título |
|---|
| Título próprio |
A modern perspective on type theory |
| Informação de outro título |
from its origins until today |
| Primeira menção de responsabilidade |
by Fairouz Kamareddine, Twan Laan and Rob Nederpelt |
| 210 ## - Publicação, Distribuição |
|---|
| Lugar da edição,distribuição,etc. |
London |
| Nome do editor,distribuidor,etc. |
Kluwer Academic Publishers |
| Data da publicação,distribuição,etc. |
[imp. 2010] |
| 215 ## - Descrição física |
|---|
| Descrição física |
XIV, 357 p. |
| Dimensões |
24 cm |
| 225 2# - Colecção |
|---|
| Título próprio da colecção |
Applied logic series |
| Indicação de volume |
29 |
| 675 ## - CDU |
|---|
| Notação |
510.6 |
| Edição |
int |
| Língua da edição |
Inglês |
| 700 #1 - Responsabilidade principal |
|---|
| Palavra de ordem |
Kamareddine, |
| Outra parte do nome |
Fairouz |
| 701 #1 - Co-responsabilidade principal |
|---|
| Koha Internal Code |
243733 |
| Palavra de ordem |
Laan, |
| Outra parte do nome |
Twan |
| Código de função |
Autor |
| 701 #1 - Co-responsabilidade principal |
|---|
| Koha Internal Code |
126731 |
| Palavra de ordem |
Nederpelt, |
| Outra parte do nome |
Rob P. |
| Código de função |
Autor |
| 801 #0 - Fonte de origem |
|---|
| País |
Portugal |
| Agência |
UMSD |
| Data da última transacção |
20100616 |
| Regras de catalogação |
RPC |
| 090 ## - Números de controlo do sistema (Koha) |
|---|
| Número biblioitem do Koha (gerado automaticamente) |
288130 |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Tipo de item no Koha |
Monografia |
| Suprimido |
Disponível no OPAC |
