| 000 -ETIQUETA DE REGISTO |
|---|
| Campo de Controlo de Tamanho Fixo |
00929nam0a22002773i 4500 |
| 005 - IDENTIFICADOR DA VERSÃO |
|---|
| Campo de Controlo |
20210601123137.0 |
| 010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
|---|
| NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
0-937073-90-3 |
| 100 ## - DADOS GERAIS DE PROCESSAMENTO |
|---|
| Dados gerais de processamento |
19990205d1992 m u0pory50 |
| 200 1# - TÍTULO E MENÇÃO DE RESPONSABILIDADE |
|---|
| Título próprio |
The language of first-order logic |
| Informação de outro título |
including the IBM-compatible windows version of Tarski's world 4.0 |
| Primeira menção de responsabilidade |
Jon Barwise, John Etchemendy |
| 205 ## - MENÇÃO DA EDIÇÃO |
|---|
| Menção da edição |
3rd ed. |
| 210 ## - PUBLICAÇÃO, DISTRIBUIÇÃO, ETC. |
|---|
| Lugar da publicação, distribuição, etc. |
Stanford |
| Nome do editor, distribuidor, etc. |
Center for the Study of Language and information |
| Data da publicação, distribuição, etc. |
1992 |
| 215 ## - DESCRIÇÃO FÍSICA |
|---|
| Indicação específica do tipo de material e extensão do item |
XIV, 319 p. |
| Outras indicações físicas |
il. |
| 225 #1 - COLECÇÃO |
|---|
| Título próprio da colecção |
CLSI Lecture Notes |
| Indicação de volume |
34 |
| 606 ## - NOME COMUM USADO COMO ASSUNTO |
|---|
| Elemento de entrada |
Lógica matemática |
| 606 ## - NOME COMUM USADO COMO ASSUNTO |
|---|
| Elemento de entrada |
Lógica proposicional |
| 606 ## - NOME COMUM USADO COMO ASSUNTO |
|---|
| Elemento de entrada |
Lógica dos predicados |
| 606 ## - NOME COMUM USADO COMO ASSUNTO |
|---|
| Elemento de entrada |
Lógica de primeira ordem |
| 606 ## - NOME COMUM USADO COMO ASSUNTO |
|---|
| Elemento de entrada |
Programa de computador |
| 606 ## - NOME COMUM USADO COMO ASSUNTO |
|---|
| Elemento de entrada |
Tarski's world |
| 675 ## - CLASSIFICAÇÃO DECIMAL UNIVERSAL (CDU) |
|---|
| Notação |
510.6 |
| 700 #1 - NOME DE PESSOA - RESPONSABILIDADE PRINCIPAL |
|---|
| Palavra de ordem |
BARWISE |
| Outra parte do nome não tomada para palavra de ordem |
Jon |
| 701 ## - NOME DE PESSOA - CO-RESPONSABILIDADE PRINCIPAL |
|---|
| Palavra de ordem |
ETCHEMENDY |
| Outra parte do nome não tomada para palavra de ordem |
John |
| 852 ## - LOCALIZAÇÃO E COTA |
|---|
| Identificador da Instituição |
ISEL |
| Identificador de sub-localização |
Biblioteca |
| Prefixo de Cota |
BAR. |
| Cota - CDU |
510.6 |
| 090 ## - System Control Numbers (Koha) |
|---|
| Koha biblioitem number (autogenerated) |
6066 |
| 942 ## - Elementos de Entrada Adicionais (KOHA) |
|---|
| Koha tipo de item |
Livro |