MARC details
000 -LEADER |
fixed length control field |
05772cam a2200781 a 4500 |
001 - CONTROL NUMBER |
control field |
ocn829714667 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220711193336.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
130311s2003 njua ob 100 0 eng d |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
N$T |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
N$T |
Modifying agency |
OCLCO |
-- |
IDEBK |
-- |
E7B |
-- |
I9W |
-- |
OCLCF |
-- |
OCLCO |
-- |
YDXCP |
-- |
EBLCP |
-- |
DEBSZ |
-- |
OCLCO |
-- |
OCL |
-- |
OCLCO |
-- |
OCLCQ |
-- |
OCLCO |
-- |
OCLCQ |
-- |
OCLCO |
-- |
AGLDB |
-- |
OCLCQ |
-- |
VTS |
-- |
STF |
-- |
M8D |
-- |
OCLCQ |
-- |
VLY |
-- |
OCLCQ |
-- |
OCLCO |
019 ## - |
-- |
666958233 |
-- |
815747647 |
-- |
853362203 |
-- |
1162242800 |
-- |
1241959271 |
-- |
1300569454 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9789812705815 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9812705813 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1281908819 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781281908810 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9786611908812 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
6611908811 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9812382615 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9789812382610 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000049162878 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000053026286 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043124759 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
391500546 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
421300655 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
445576588 |
029 1# - (OCLC) |
OCLC library identifier |
GBVCP |
System control number |
804457263 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)829714667 |
Canceled/invalid control number |
(OCoLC)666958233 |
-- |
(OCoLC)815747647 |
-- |
(OCoLC)853362203 |
-- |
(OCoLC)1162242800 |
-- |
(OCoLC)1241959271 |
-- |
(OCoLC)1300569454 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
Q334 |
Item number |
.A853 1999eb |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
MAT |
Subject category code subdivision |
016000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
MAT |
Subject category code subdivision |
018000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PBCD |
Source |
bicssc |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
Edition number |
22 |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
08.33 |
Source of number |
bcl |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
Asian Logic Conference |
Number of part/section/meeting |
(7th : |
Date of meeting |
1999 : |
Location of meeting |
Hsi-Tou, Taiwan) |
9 (RLIN) |
930710 |
245 10 - TITLE STATEMENT |
Title |
Proceedings of the 7th & 8th Asian Logic Conferences : |
Remainder of title |
Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 / |
Statement of responsibility, etc |
editors Rod Downey [and others]. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
New Jersey ; |
-- |
London : |
Name of publisher, distributor, etc |
World Scientific, |
Date of publication, distribution, etc |
©2003. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (viii, 471 pages) : |
Other physical details |
illustrations |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references. |
588 0# - |
-- |
Print version record. |
520 ## - SUMMARY, ETC. |
Summary, etc |
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers -- many of them surveys by leading experts -- of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Elementary properties of Rogers semilattices of arithmetical numberings / S.A. Badaev, S.S. Goncharov and A. Sorbi -- Five puzzles about mathematics in search of solutions / C.S. Chihara -- Complexity classes over the reals: a logician's viewpoint / F. Cucker -- Computability, definability and algebraic structures / R. Downey -- Trivial reals / R.G. Downey [and others] -- Popper and Miller, and induction and deduction / E. Eells -- Enlargements of polynomial coalgebras / R. Goldblatt -- A layered approach to extracting programs from proofs with an application in graph theory / J. Jeavons [and others] -- A common structure of logical and algebraic algorithms / Y. Kawaguchi -- Games on graphs: automata, structure, and complexity / B. Khoussainov and T. Kowalski -- Computational complexity of fractals / K.-I. Ko -- Definability in local degree structures -- a survey of recent results related to jump classes / A. Li and Y. Yang -- A limit stage construction for iterating semiproper preorders / T. Miyamoto -- An application of NDJ [symbol] the catch and throw mechanism / M. Nakata, N. Saneto and M. Yasugi -- The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning / I. Poernomo and J.N. Crossley -- Phase-valued models of linear set theory / M. Shirahata -- A problem on theories with a finite number of countable models / A. Tsuboi -- Probabilistic logic programming with inheritance / J. Wang [and others] -- Sequent systems for classical and intuitionistic substructural modal logics / O. Watari [and others] -- Diamond embeddings into the D.C.E. degrees with 0 and 1 preserved / G. Wu. |
546 ## - LANGUAGE NOTE |
Language note |
English. |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
Form subdivision |
Congresses. |
9 (RLIN) |
162935 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logique symbolique et mathématique |
Form subdivision |
Congrès. |
9 (RLIN) |
895809 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
MATHEMATICS |
General subdivision |
Infinity. |
Source of heading or term |
bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
MATHEMATICS |
General subdivision |
Logic. |
Source of heading or term |
bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01002068 |
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logica. |
Source of heading or term |
gtt |
9 (RLIN) |
907743 |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Conference papers and proceedings. |
Source of term |
fast |
-- |
(OCoLC)fst01423772 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Downey, R. G. |
Fuller form of name |
(Rod G.) |
9 (RLIN) |
309355 |
711 2# - ADDED ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
Asian Logic Conference |
Number of part/section/meeting |
(8th : |
Date of meeting |
2002 : |
Location of meeting |
Chongqing, China) |
9 (RLIN) |
930711 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
Asian Logic Conference (7th : 1999 : Hsi-Tou, Taiwan). |
Title |
Proceedings of the 7th & 8th Asian Logic Conferences. |
Place, publisher, and date of publication |
New Jersey ; London : World Scientific, ©2003 |
International Standard Book Number |
9812382615 |
Record control number |
(OCoLC)54377554 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=514378">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=514378</a> |
938 ## - |
-- |
ProQuest Ebook Central |
-- |
EBLB |
-- |
EBL1223924 |
938 ## - |
-- |
ebrary |
-- |
EBRY |
-- |
ebr10713366 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
514378 |
938 ## - |
-- |
ProQuest MyiLibrary Digital eBook Collection |
-- |
IDEB |
-- |
190881 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
9966052 |
994 ## - |
-- |
92 |
-- |
INOPJ |