Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 (Record no. 112682)

MARC details
000 -LEADER
fixed length control field 02662nam a22003854a 4500
001 - CONTROL NUMBER
control field EBC1681682
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240120162756.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100512s2010 njua sb 100 0 eng c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2010287731
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9789814293013 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9814293016 (hbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC1681682
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL1681682
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10422074
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL276196
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)630163867
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q334
Item number .A853 2008
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Asian Logic Conference
Number of part/section/meeting (10th :
Date of meeting or treaty signing 2008 :
Location of meeting Kobe Daigaku)
245 10 - TITLE STATEMENT
Title Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Medium [electronic resource] /
Statement of responsibility, etc. editors, T. Arai ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Hackensack, NJ :
Name of publisher, distributor, etc. World Scientific,
Date of publication, distribution, etc. c2010.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 393 p. :
Other physical details ill.
500 ## - GENERAL NOTE
General note "The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan."--Pref.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
505 00 - FORMATTED CONTENTS NOTE
Formatted contents note An application of nonstandard arguments to the study of generic structures / Y. Anbo -- Constructive geometry / M. Beeson -- A separation result for varieties of brouwer's fan theorem / J. Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flaskova -- Lowness and highness properties for randomness notions / J. Franklin -- Countable borel equivalence relations, borel reducibility, and orbit equivalence / G. Hjorth -- A remark on generic structures and the number of countable models / K. Ikeda -- Geometric simplicity theory / B. Kim -- Weak weak konig's lemma in construcytion reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of ... / H. Sakai -- Turing degrees and the ershov hierarchy / F. Stephan, Y. Yang and L. Yu -- Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe -- A note on multiple inductive definitions / K. Tanaka -- Isolation in the d.c.e. degrees / G. Wu -- On II1/1 conservativity for II1/2 theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
Form subdivision Congresses.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Arai, T.
Fuller form of name (Toshiyasu)
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ProQuest (Firm)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1681682">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1681682</a>
Public note Click to View

No items available.