000 -Record Label |
fixed length control field |
00811nam a2200277 4500 |
010 ## - ISBN - International Standard Book Number |
Número (ISBN) |
0-12-170350-9 |
Qualificação |
encadernado |
Modalidade de aquisição e/ou preço |
Esc 12 000$ |
100 ## - Entrada principal |
Dados gerais de processamento |
19930319d1987 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 |
Symbolic logic and mechanical theorem proving |
Primeira menção de responsabilidade |
Chin-Liang Chang, Richard Char-Tung Lee |
210 ## - Local de edição |
Lugar da edição, distribuição, etc. |
San Diego, US |
Nome do editor, distribuidor, etc. |
Academic Press |
Data da publicação, distribuição, etc. |
cop. 1973 |
215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
Descrição física |
XIII, 331 p. |
Outras indicações físicas |
il. |
Dimensões |
24 cm |
225 2# - Coleção |
Título próprio da colecção |
Computer Science Classics |
606 ## - Nome comum como assunto |
Koha Internal code |
3524 |
Elemento de entrada |
Lógica matemática |
606 ## - Nome comum como assunto |
Koha Internal code |
3009 |
Elemento de entrada |
Inteligência artificial |
606 ## - Nome comum como assunto |
Koha Internal code |
8412 |
Elemento de entrada |
Demonstração de teoremas |
680 ## - Classificação Biblioteca Congresso |
Notação |
QA9 |
700 #1 - Autor (resp. principal) |
Palavra de ordem |
Chang |
Outra parte do nome |
Chin-Liang |
Elementos de identificação ou distinção |
e outro |
701 #1 - Co-responsabilidade principal |
Palavra de ordem |
Lee |
Outra parte do nome |
Richard Char-Tung |
Elementos de identificação ou distinçã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 |