| 000 -Etiqueta de registo |
|---|
| Campo de controlo |
00659 a2200217 4500 |
| 010 ## - ISBN |
|---|
| Número (ISBN) |
0-19-853762-X |
| 100 ## - Dados gerais de processamento |
|---|
| Dados gerais de processamento |
20130109 frey50 |
| 101 0# - Língua da publicação |
|---|
| Língua do texto, banda sonora, etc. |
inglês |
| 200 1# - Título e menção de responsabilidade |
|---|
| Título próprio |
Handbook of logic in computer Science |
| Indicação genérica do tipo de material |
Monografia |
| Primeira menção de responsabilidade |
Edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum |
| 210 ## - Publicação, Distribuição, etc. |
|---|
| Lugar da edição, distribuição, etc. |
Oxford |
| Nome do editor, distribuidor, etc. |
Clarendon Press |
| Data da publicação, distribuição, etc. |
1994 |
| 215 ## - Descrição física |
|---|
| Indicação específica do tipo de material e extensão do item |
XV, 490 p. |
| Dimensões |
24 cm |
| 320 ## - Nota relativa a bibliografias e índ. internos |
|---|
| Texto da nota |
Vol. 3 : Semantic structures |
| 675 ## - Classificação decimal universal (CDU) |
|---|
| Notação |
519.6 |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Matemática computacional |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Análise numérica |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Programação matemática |
| 702 #1 - Nome de pessoa - Responsabilidade secundária |
|---|
| Palavra de ordem |
Abramsky |
| Outra parte do nome |
S. |
| 801 ## - Fonte de origem |
|---|
| Agência |
ESTiG-IPB |