| 000 -Record Label |
|---|
| fixed length control field |
00921nam a2200289 4500 |
| 010 ## - ISBN - International Standard Book Number |
|---|
| Número (ISBN) |
0-937073-90-3 |
| Qualificação |
brochado |
| Modalidade de aquisição e/ou preço |
Esc 12 075$ |
| 100 ## - Entrada principal |
|---|
| Dados gerais de processamento |
20001127d1992 k||y0pory50 ba |
| 101 0# - Língua do documento |
|---|
| Língua do texto, banda sonora, etc. |
eng |
| 102 ## - País da publicação |
|---|
| País de publicação |
US - United States of America |
| 200 1# - Título |
|---|
| Título próprio |
The language of first-order logic |
| Informação de outro título |
including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers |
| Primeira menção de responsabilidade |
Jon Barwise, John Etchemendy |
| 205 ## - Edição |
|---|
| Menção da edição |
3rd ed |
| Outras menções de edição |
revised and expanded |
| 210 ## - Local de edição |
|---|
| Lugar da edição, distribuição, etc. |
Stanford, US |
| Nome do editor, distribuidor, etc. |
CSLI |
| Data da publicação, distribuição, etc. |
cop. 1992 |
| 215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
|---|
| Descrição física |
XIV, 319 p. |
| Dimensões |
24 cm |
| Material acompanhante |
1 disquete |
| 225 2# - Coleção |
|---|
| Título próprio da colecção |
CSLI lecture notes |
| Indicação de volume |
34 |
| 310 ## - Notas Encadernação e aquisição |
|---|
| Texto da nota |
Adquirido DI |
| 606 ## - Nome comum como assunto |
|---|
| Koha Internal code |
45247 |
| Elemento de entrada |
Lógica de primeira ordem |
| 606 ## - Nome comum como assunto |
|---|
| Koha Internal code |
45251 |
| Elemento de entrada |
Tarski's world (Programas de computador) |
| 680 ## - Classificação Biblioteca Congresso |
|---|
| Notação |
BC128 |
| 700 ## - Autor (resp. principal) |
|---|
| Koha Internal Code |
54503 |
| Palavra de ordem |
Barwise |
| Outra parte do nome |
Jon |
| 701 ## - Co-responsabilidade principal |
|---|
| Koha Internal Code |
54505 |
| Palavra de ordem |
Etchemendy |
| Outra parte do nome |
John |
| Código de função |
co-aut. |
| 801 #0 - Fonte de origem |
|---|
| Regras de catalogação |
RPC |
| País |
Portugal |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Fonte da classificação ou esquema de estante |
|
| Tipo de item no Koha |
Monografia |
| Suprimido |
0 |
