Cargando…
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held 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 con...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, N.J. :
World Scientific Pub. Co.,
©2010.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn630163867 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr buu|||uu||| | ||
| 008 | 100524s2010 si a ob 100 0 eng d | ||
| 040 | |a LLB |b eng |e pn |c LLB |d N$T |d YDXCP |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AGLDB |d ZCU |d MERUC |d U3W |d OCLCA |d OCLCQ |d VTS |d ICG |d INT |d OCLCQ |d STF |d DKC |d AU@ |d OCLCQ |d M8D |d UKAHL |d OCL |d LEAUB |d HS0 |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 681535466 |a 1086556050 | ||
| 020 | |a 9789814293020 |q (electronic bk.) | ||
| 020 | |a 9814293024 |q (electronic bk.) | ||
| 020 | |z 9814293016 | ||
| 020 | |z 9789814293013 | ||
| 029 | 1 | |a DEBBG |b BV043071816 | |
| 029 | 1 | |a DEBBG |b BV044179622 | |
| 029 | 1 | |a DEBSZ |b 407526633 | |
| 029 | 1 | |a DEBSZ |b 421675144 | |
| 029 | 1 | |a DEBSZ |b 44555522X | |
| 029 | 1 | |a GBVCP |b 803177488 | |
| 035 | |a (OCoLC)630163867 |z (OCoLC)681535466 |z (OCoLC)1086556050 | ||
| 050 | 4 | |a QA9.A1 |b A853 2008eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a Asian Logic Conference |n (10th : |d 2008 : |c Kōbe Daigaku) | |
| 245 | 1 | 0 | |a Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / |c editors, T. Arai [and others]. |
| 260 | |a Singapore ; |a Hackensack, N.J. : |b World Scientific Pub. Co., |c ©2010. | ||
| 300 | |a 1 online resource (viii, 393 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. Flas̮ková -- 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 König's Lemma in constructive reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of P[symbol] when cf[symbol]<[symbol] / 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 / C. Wu -- On II[symbol] conservativity for II[symbol] theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda. | |
| 520 | |a The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held 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 of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 4 | |a Electronic book. | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Arai, Toshiyasu. | |
| 710 | 2 | |a World Scientific (Firm) | |
| 758 | |i has work: |a Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFRhfMBKqfMc4HbHvGyfdP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 1 | |z 9814293016 | |
| 776 | 1 | |z 9789814293013 | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1681682 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24686505 | ||
| 938 | |a EBSCOhost |b EBSC |n 340646 | ||
| 938 | |a YBP Library Services |b YANK |n 3511538 | ||
| 994 | |a 92 |b IZTAP | ||