Produto disponível em até 15min no aplicativo Kobo, após a confirmação  do pagamento!
Você pode ler este livro digital em vários dispositivos:
IOs - Clique para baixar o app gratuitoAndroid - Clique para baixar o app gratuitoPC - Clique para baixar o app gratuitoBlackBerry - Clique para baixar o app gratuitoWindows Phone - Clique para baixar o app gratuitoKobo - Conheça nossa linha de leitores digitais
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.
An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jö,rg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and André, Nies)
A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama)
Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey and Keng Meng Ng)
A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles)
Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov)
Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda)
Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo)
On Categorical Relationship among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures (Purbita Jana and Mihir K Chakraborty)
Realizability and Existence Property of a Constructive Set Theory with Types (Farida Kachapova)
Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu)
On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano)
Large Cardinals and Higher Degree Theory (Xianghui Shi)
Degree Spectra of Equivalence Relations (Liang Yu)
Readership: Researchers in mathematical logic and algebra, computer scientists in artificial intelligence and fuzzy logic.
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe
The contributors are prominent logicians or young leading researchers
Some papers propose a few new questions or new research topics