Proceedings of the 12th Asian Logic Conference Wellington, New Zealand, 15-20 December 2011 /
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic--
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , , , |
| বিন্যাস: | বৈদ্যুতিক কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Hackensack, NJ :
World Scientific,
[2013]
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Available in Academic Search Ultimate. OPAC-এ দেখুন |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
MARC
| LEADER | 00000cam a22000002i 4500 | ||
|---|---|---|---|
| 001 | ebs76677786e | ||
| 003 | EBZ | ||
| 006 | m d |||||| | ||
| 007 | cr|unu|||||||| | ||
| 008 | 130808t20132013si a ob 100 0 eng d | ||
| 020 | 0 | |z 9789814449267 | |
| 020 | 0 | |a 9781299652026 (online) | |
| 020 | 0 | |a 9789814449274 (online) | |
| 020 | 0 | |a 9789814449281 (online) | |
| 035 | |a (EBZ)ebs76677786e | ||
| 040 | |a CDX |b eng |d EBZ | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a Q334 |b .A853 2011 |
| 111 | 2 | |a Asian Logic Conference |n (12th : |d 2011 : |c Wellington, N.Z.) | |
| 240 | 1 | 0 | |a Proceedings of the 12th Asian Logic Conference (Online) |
| 245 | 1 | 0 | |a Proceedings of the 12th Asian Logic Conference |h [electronic resource] : |b Wellington, New Zealand, 15-20 December 2011 / |c edited by Rod Downey, Victoria University of Wellington, New Zealand; Jörg Brendle, Kobe University, Japan; Robert Goldblatt, Victoria University of Wellington, New Zealand; Byungham Kim, Yonsei University, Korea. |
| 264 | 1 | |a Hackensack, NJ : |b World Scientific, |c [2013] | |
| 264 | 4 | |c ©2013 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Resolute sequences in initial segment complexity / G. Barmpalias and R.G. Downey -- Approximating functions and measuring distance on a graph / W. Calvert, R. Miller and J. Chubb Reimann -- Carnap and McKinsey: topics in the pre-history of possible-worlds semantics / M.J. Cresswell -- Limits to joining with generics and randoms / A.R. Day and D.D. Dzhafarov -- Freedom & consistency / M. Detlefsen -- A van Lambalgen theorem for Demuth randomness / D. Diamondstone, N. Greenberg and D. Turetsky -- Faithful representations of polishable ideals / S. Gao -- Further thoughts on Definability in the Urysohn sphere / I. Goldbring -- Simple completeness proofs for some spatial logics of the real line / I. Hodkinson -- On a question of Csima on computation-time domination / X. Hua, J. Liu and G. Wu -- A generalization of Beth model to functionals of high types / F. Kachapova -- A computational framework for the study of partition functions and graph polynomials / T. Kotek, J.A. Makowsky and E.V. Ravve -- Relation algebras and R / T. Kowalski -- Van Lambalgen's theorem for uniformly relative Schnorr and computable randomness / K. Miyabe and J. Rute -- Computational aspects of the hyperimmune-free degrees / K.M. Ng [and others] -- Calibrating the complexity of [symbol] sets via their changes / A. Nies -- Topological full groups of minimal subshifts and just-infinite groups / S. Thomas -- TW-models for logic of knowledge-cum-belief / S.C.-M. Yang. | |
| 520 | |a The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic-- |c Source other than Library of Congress. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Mathematics |z Asia |v Congresses. | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Mathematics. |2 fast |0 (OCoLC)fst01012163 | |
| 651 | 7 | |a Asia. |2 fast |0 (OCoLC)fst01240495 | |
| 655 | 7 | |a Conference proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Downey, R. G. |q (Rod G.), |e editor. | |
| 700 | 1 | |a Brendle, Jörg, |e editor. | |
| 700 | 1 | |a Goldblatt, Robert, |e editor. | |
| 700 | 1 | |a Kim, Byunghan, |d 1963- |e editor. | |
| 773 | 0 | |t Academic Search Ultimate |d EBSCO | |
| 776 | 1 | |t Proceedings of the 12th Asian Logic Conference |w (OCoLC)ocn847997197 |w (DLC)2013427295 | |
| 856 | 4 | 0 | |3 Full text available: Jan 2013. |z Available in Academic Search Ultimate. |u https://biblioteca.ues.edu.sv/acceso/ebsco/?url=https%3A%2F%2Fsearch.ebscohost.com%2Fdirect.asp%3Fdb%3Dasn%26jid%3DLCMV%26scope%3Dsite |
| 901 | |a Conference Proceeding | ||