Tarski's world 4.0 a program for use with the language of first-order logic (Record no. 37505)
[ view plain ]
000 -Record Label | |
---|---|
fixed length control field | 00751nlm a2200241 4500 |
010 ## - ISBN - International Standard Book Number | |
Número (ISBN) | 0-937073-90-3 |
100 ## - Entrada principal | |
Dados gerais de processamento | 20080821d1993 k||y0pory50 ba |
200 1# - Título | |
Título próprio | Tarski's world 4.0 a program for use with the language of first-order logic |
Indicação geral da natureza do documento | [Documento electrónico] |
Primeira menção de responsabilidade | Jon Barwise, John Etchemendy |
210 ## - Local de edição | |
Lugar da edição, distribuição, etc. | Stanford, US |
Nome do editor, distribuidor, etc. | CSLI Publications |
Data da publicação, distribuição, etc. | cop. 1993 |
215 ## - Descrição física (Vol.pg.fl.tm.fsc) | |
Descrição física | 1 disquete |
Dimensões | 10 cm |
337 ## - Notas requisitos de sistema (ER) | |
Texto da nota | IBM compatible version |
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 |
942 ## - Elementos de entrada adicionados (Koha) | |
Fonte da classificação ou esquema de estante | Library of Congress Classification |
Tipo de item no Koha | Multimedia |
Suprimido | 0 |
Removido (estado) | Perdido (estado) | Data de aquisição | Número da cópia | Origem do registo | Origem do registo | Código da organização que empresta ou é detentora | Organização que empresta ou é detentora | Localização da prateleira | Código de barras | Coleção | Número de inventário | Cota | Tipo de circulação | Tipo de item e material |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2008-08-22 | 1 | FCT | Biblioteca NOVA FCT | Biblioteca NOVA FCT | FCT | Depósito 1 | 0051596 | Não Ficção | 45978 | BC128.BAR FCT 45978 | Disponível | Multimedia |