Metadata
| 000 -Etiqueta do registo |
|---|
| campo de controlo de comprimento fixo |
01137nam a22002890004500 |
| 001 - Identificador do registo |
|---|
| Campo de controlo |
51054 |
| 010 ## - ISBN |
|---|
| Número (ISBN) |
0937073997 |
| Qualificação |
brochado |
| Modalidade de aquisição e/ou preço |
compra |
| 100 ## - Dados Gerais de Proc. |
|---|
| Dados gerais de processamento |
20040908d1993 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 |
Estados Unidos |
| 200 1# - Título |
|---|
| Título próprio |
The language of first-order logic |
| Informação de outro título |
including the Macintosh version of Tarski's world 4.0 |
| Primeira menção de responsabilidade |
Jon Barwise and John Etchemendy |
| 205 ## - Menção da edição |
|---|
| Menção da edição |
3rd ed. rev. and expanded |
| 210 ## - Publicação, Distribuição |
|---|
| Lugar da edição,distribuição,etc. |
Stanford, California |
| Nome do editor,distribuidor,etc. |
CSLI, Center for the Study of Language and Information |
| Data da publicação,distribuição,etc. |
2004 |
| 215 ## - Descrição física |
|---|
| Descrição física |
XIV, 313, [9] p. |
| Dimensões |
24 cm |
| Material acompanhante |
1 disquete |
| 225 2# - Colecção |
|---|
| Título próprio da colecção |
CSLI lecture notes |
| Indicação de volume |
23) |
| 300 ## - Notas gerais |
|---|
| Texto da nota |
Contém material acompanhante na cota DK 4 |
| 320 ## - Relativa a bibliografia |
|---|
| Texto da nota |
Contém referências bibliográficas e índice |
| 606 ## - Nome comum |
|---|
| Koha Internal code |
34115 |
| Elemento de entrada |
Lógica de primeira ordem |
| 606 ## - Nome comum |
|---|
| Elemento de entrada |
Tarski's world (Programa de computador) |
| Koha Internal code |
250806 |
| 606 ## - Nome comum |
|---|
| Koha Internal code |
32986 |
| Elemento de entrada |
Linguagens de programação |
| 606 ## - Nome comum |
|---|
| Koha Internal code |
34692 |
| Elemento de entrada |
Manuais |
| 675 ## - CDU |
|---|
| Notação |
519.68 |
| Edição |
BN |
| Língua da edição |
Português |
| 700 #1 - Responsabilidade principal |
|---|
| Koha Internal Code |
87030 |
| Palavra de ordem |
Barwise, |
| Outra parte do nome |
Jon, |
| Datas |
1942-2000 |
| 701 #1 - Co-responsabilidade principal |
|---|
| Koha Internal Code |
122273 |
| Palavra de ordem |
Etchemendy, |
| Outra parte do nome |
John, |
| Datas |
1952- |
| Código de função |
co-aut. |
| 801 #0 - Fonte de origem |
|---|
| País |
Portugal |
| Agência |
UNLCSH |
| Regras de catalogação |
RPC |
| 090 ## - Números de controlo do sistema (Koha) |
|---|
| Número biblioitem do Koha (gerado automaticamente) |
51054 |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Suprimido |
Disponível no OPAC |
| Tipo de item no Koha |
Book |
| 999 ## - Dados legados |
|---|
| Identificador de migração |
47596 |
| Data de migração |
2021-07-08 |
| Base de dados legada |
UNL-FCSH - GLOBAL |
| Identificador na base legada |
UNLFCSH2015040208332748954 |
