Analysis and synthesis of logics (Record no. 55381)

000 -Record Label
fixed length control field 00766nam a2200229 4500
005 - Version Identifier
control field 20141103142832.0
010 ## - International Standard Book Number (ISBN)
Number (ISBN) 978-1-4020-6781-5
995 ## - Location and Item Information (Koha)
-- UMA01
-- UMA
-- Compra , CCEE - Eduardo Leopoldo Fermé - Centro de Ciências Exactas e da Engenharia ( The Book Depository) Proc. 297-09-DR-DME - Req. 3875-2009
-- 01
-- 2009-397
100 ## - General Processing Data
General Processing Data 20100122d2008----km-y0pory5003----ba
101 0# - Language of the Item
Language of the Text, Soundtrack, etc. eng
102 ## - Country of Publication or Production
Country of Publication NL
200 1# - Title and Statement of Responsibility
Title Proper Analysis and synthesis of logics
Other Title Information how to cut and paste reasoning systems
First Statement of Responsibility Walter Carnielli...[et al.]
210 ## - Publication, Distribution, etc.
Place of Publication, Distribution, etc. Dordrecht, Netherlands
Name of Publisher, Distributor, etc. Springer
Data of Publication, Distribution, etc. cop. 2008
215 ## - Physical Description
Specific Material Designation and Extent of Item xvi, 600 p.
Other Physical Details il.
Dimensions 24 cm
225 2# - Series
Series Title Applied Logic Series
Volume Designation 35
320 ## - Notes Pertaining to Internal Bibliographies/Notes Pertaining to Indexes
Text of Note Includes Bibliography, Subject index, Table of symbols, List of figures
606 ## - Topical Name Used as Subject
Entry Element Lógica matemática
System Code SPINES
606 ## - Topical Name Used as Subject
Entry Element Lógica simbolica e matemática
System Code LC
675 ## - Universal Decimal Classification (UDC)
Number 510.6
702 #1 - Personal Name - Secondary Intellectual Responsibility
Entry Element Carnielli
Part of Name Other than Entry Element Walter
Relator Code 070
801 #0 - Originating Source
Country PT
Agency SDUMA
Date of Transaction 20100122
Cataloguing Rules (Descriptive Conventions) RPC
090 ## - System Control Numbers (Koha)
Koha biblioitem number (autogenerated) 55381
Holdings
Origin of item (home branch) (coded) Type of item and material Internal itemnumber (Koha itemnumber) Lost status Call number (full call number) Withdrawn status Barcode Coded location qualifier Circulation type (not for loan)
Biblioteca da Universidade da MadeiraLivro76555 510.6 ANA B979732009-12-10 

Biblioteca da Universidade da Madeira
Telefone (geral): 291705070. Responsável: Doutora Iolanda Silva - email: iolanda.silva@staff.uma.pt; Serviço de Referência: Mestre Hélder Maurício - email: helder.mauricio@staff.uma.pt; Serviço de Gestão Digital: Dr. António Freitas – email: antonio.freitas@staff.uma.pt
Morada: Campus Universitário da Penteada, 9000-390 - Funchal - Madeira

Powered by Koha