Handbook of logic in computer science (Record no. 69242)

Metadata
000 -Etiqueta do registo
campo de controlo de comprimento fixo 02913nam0a22004450004500
001 - Identificador do registo
Campo de controlo 69242
005 - Identificador da versão
Campo de controlo 20230925153740.0
010 ## - ISBN
Número (ISBN) 0-19-853735-2 (v.1)
010 ## - ISBN
Número (ISBN) 0-19-853761-1 (v.2)
010 ## - ISBN
Número (ISBN) 0-19-853762-X (v.3)
010 ## - ISBN
Número (ISBN) 0-19-853780-8 (v.4)
010 ## - ISBN
Número (ISBN) 0-19-853781-6 (v.5)
Qualificação (Encadernados)
100 ## - Dados Gerais de Proc.
Dados gerais de processamento 19920112g19929999k y0pory5003 ba
101 0# - Língua da publicação
Língua do texto,banda sonora,etc. Inglês
102 ## - País de Publicação
País de publicação Reino Unido
200 1# - Título
Título próprio Handbook of logic in computer science
Primeira menção de responsabilidade ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
210 ## - Publicação, Distribuição
Lugar da edição,distribuição,etc. Oxford
Nome do editor,distribuidor,etc. Clarendon Press
Data da publicação,distribuição,etc. 1992-19--
215 ## - Descrição física
Descrição física -- v.
Dimensões 24 cm
327 1# - Nota de conteúdo
Texto da nota vol.1 : Background : mathematical structures. - XII, 827 p
-- vol.2 : Background : computational structures. - X, 571 p. : il
-- vol.3 : Semantic structures. - cop. 1994. - XIII, 490 p
-- vol.4 : Semantic modelling. - 1995. - XIII, 651 p.
-- vol.5 : Logic and algebraic methods. - 2000. - XVIII, 537 p.
500 10 - Título Uniforme
Título uniforme Background
500 10 - Título Uniforme
Título uniforme Semantic structures
500 10 - Título Uniforme
Título uniforme Semantic modelling
500 10 - Título Uniforme
Título uniforme Logic and algebraic methods
675 ## - CDU
Notação 519.6
Edição med
Língua da edição Português
702 #1 - Responsabilidade secundária
Koha Internal Code 809
Palavra de ordem Abramsky,
Outra parte do nome Samson,
Datas 1953-
Código de função Coordenador/Editor
702 #1 - Responsabilidade secundária
Koha Internal Code 66351
Palavra de ordem Gabbay,
Outra parte do nome Dov M.,
Datas 1945-
Código de função Coordenador/Editor
702 #1 - Responsabilidade secundária
Koha Internal Code 111057
Palavra de ordem Maibaum,
Outra parte do nome T. S. E.
Código de função Coordenador/Editor
090 ## - Números de controlo do sistema (Koha)
Número biblioitem do Koha (gerado automaticamente) 69242
942 ## - Elementos de entrada adicionados (Koha)
Tipo de item no Koha Monografia
Suprimido Disponível no OPAC
Holdings
Removido (estado) Perdido (estado) Data de aquisição Origem do registo (biblioteca) (codificado) Código da organização que empresta ou é detentora (biblioteca) Código de barras Cota Tipo de circulação Preço Tipo de item e material Enumeração da série / cronologia Modalidade de aquisição Data de empréstimo ou depósito Termo da data do empréstimo
Disponível | Available Disponível | Not Lost 1999-08-02 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 103890 BGUM 519.6 - H Requisitável | For loan 28025.00 Monografia LIVRO vol.1 28025$00 (Liv. Asa. E. ENG)    
Disponível | Available Disponível | Not Lost 1999-08-02 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 103891 BGUM 519.6 - H Requisitável | For loan 19780.00 Monografia LIVRO vol.2 19780$00 (Liv. Asa. E. ENG)    
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 103892 BGUMD 109320 Requisitável | For loan 28025.00 Monografia LIVRO vol.1 28025$00 (Liv. Asa. E. ENG)    
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 103893 BGUMD 109323 Requisitável | For loan 19780.00 Monografia LIVRO vol.2 19780$00 (Liv. Asa. E. ENG)    
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 136326 BGUMD 109343 Requisitável | For loan 8360.00 Monografia LIVRO vol.3 8360$00 (Oxford University Press. E. ENG)    
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 136327 BGUM 519.6 - H Requisitável | For loan 8360.00 Monografia LIVRO vol.3 8360$00 (Oxford University Press. E. ENG) 2020-01-09  
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 136328 BGUMD 109321 Requisitável | For loan 8360.00 Monografia LIVRO vol.3 8360$00 (Oxford University Press. E. ENG)    
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 158668 BGUM 519.6 - H Requisitável | For loan 21680.00 Monografia LIVRO vol.4 21680$00 (Liv. Minho. E. ENG) 2020-01-09  
Disponível | Available Disponível | Not Lost 2001-05-16 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 287543 BGUM 519.6 - H Requisitável | For loan 51700.00 Monografia LIVRO vol.5 51700$00 (Liv. Minho. E. ENG)    
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 99995 BGUM 519.6 - H Requisitável | For loan 22050.00 Monografia LIVRO vol.1 22050$00 (Edições Asa. E. ENG) 0000-00-00 2004-05-26
Disponível | Available Disponível | Not Lost 2020-08-03 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 99996 BGUM 519.6 - H Requisitável | For loan 18900.00 Monografia LIVRO vol.2 18900$00 (Edições Asa. E. ENG) 0000-00-00 2004-05-26