Logic and algorithmic: (Record no. 9553)

MARC details
000 -LEADER
fixed length control field 01526n a2200409#a 4500
001 - CONTROL NUMBER
control field 8553
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20221213135806.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 830407s1982 sz b 000 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 82184564 //r91
019 ## -
-- 8467064
-- 9795914
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Terms of availability 90.00F (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number ocm09441465
035 ## - SYSTEM CONTROL NUMBER
System control number Record 16318
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency OCL
-- FPU
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title enggerfre
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Coleções de Monografias.
245 00 - TITLE STATEMENT
Title Logic and algorithmic:
Remainder of title an international symposium held in honour of Ernst Specker.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Genève:
Name of publisher, distributor, etc. L'Enseignement mathématique,
Date of publication, distribution, etc. c1982.
300 ## - PHYSICAL DESCRIPTION
Extent 392 p.;
Dimensions 24 cm.
490 1# - SERIES STATEMENT
Series statement L'Enseignement mathématique;
Volume/sequential designation 30.
500 ## - GENERAL NOTE
General note Papers from the symposium held in Zürich, Feb. 5-11, 1980.
500 ## - GENERAL NOTE
General note English, French, and German.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Specker, Ernst,
Dates associated with a name 1920-
9 (RLIN) 39892
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logique symbolique et mathématique.
Source of heading or term ram
9 (RLIN) 27540
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algorithmes.
Source of heading or term ram
9 (RLIN) 28687
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
9 (RLIN) 9813
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algorithms.
9 (RLIN) 37032
697 ## - LOCAL SUBJECT
Local Subject Coleções de Monografias.
Linkage 23736
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Specker, Ernst,
Dates associated with a name 1920-
9 (RLIN) 39892
830 #2 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title L'Enseignement mathématique;
Volume/sequential designation 30.
9 (RLIN) 2964
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Barcode Date last seen Copy number Price effective from Koha item type
        Coleções de Monografias (Monographs Collections) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-24   39063000105703 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha