| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910450959203321 |
|
|
Titolo |
Mathematical logic in Asia [[electronic resource] ] : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ, : World Scientific, c2006 |
|
|
|
|
|
|
|
ISBN |
|
1-281-92443-1 |
9786611924430 |
981-277-274-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (328p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
DowneyR. G (Rod G.) |
GoncharovS. S |
OnoH |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Mathematics |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov 38; B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain 38; E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei 38; M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Leniewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann 38; F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal |
|
|
|
|
|
|
|
|
|
|
|
|
|
theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910807928203321 |
|
|
Titolo |
Mammals of China / / Andrew T. Smith and Yan Xie, editors ; Robert S. Hoffmann [and four others], contributing authors ; Federico Gemma, illustrator ; Wang Sung, honorary editor |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Princeton, NJ, : Princeton University Press, c2013 |
|
Princeton, New Jersey : , : Princeton University Press, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-299-24169-7 |
1-4008-4688-9 |
|
|
|
|
|
|
|
|
Edizione |
[Course Book] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (395 pages) : illustrations (chiefly color), color maps |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"An outgrowth of the earlier comprehensive A guide to the mammals of China (Smith and Xie 2008)"--Pref. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Contents -- List of Figures -- List of Maps -- List of Habitat Images -- Preface / Smith, Andrew / Yan, Xie -- Contributors -- Introduction -- Acknowledgments -- CLASS MAMMALIA-The Mammals -- ORDER PROBOSCIDEA -- ORDER SIRENIA -- ORDER SCANDENTIA -- ORDER PRIMATES-Primates -- ORDER RODENTIA-Rodents -- ORDER LAGOMORPHA-Pikas, Rabbits, and Hares -- ORDER ERINACEOMORPHA -- ORDER SORICOMORPHA-Shrews and Moles -- ORDER CHIROPTERA-Bats -- ORDER PHOLIDOTA -- ORDER CARNIVORA-Carnivores -- ORDER PERISSODACTYLA -- ORDER ARTIODACTYLA-Even-toed Ungulates -- ORDER CETACEA-Whales, Porpoises, and Dolphins -- APPENDIX I: Cetaceans Found off the Coast of China -- APPENDIX II: Hypothetical Mammals -- APPENDIX III: Introduced Alien, Feral, or Free-ranging Domestic Mammals -- |
|
|
|
|
|
|
|
|
|
|
|
GLOSSARY -- FURTHER READING -- Index to Scientific Names -- Index to Common Names |
|
|
|
|
|
|
Sommario/riassunto |
|
China's breathtaking diversity of natural habitats--from mountains and deserts to grasslands and lush tropical forests--is home to more than 10 percent of the world's mammal species. This one-of-a-kind pocket guide describes the characteristics, geographic distribution, natural history, and conservation status of all 558 species of mammals found in China. An up-to-date distribution map accompanies each species account, and beautiful color illustrations by wildlife artist Federico Gemma depict a majority of the species. The definitive text is written by leading specialists and follows the most current global standards for mammalian systematics. This field-ready pocket edition of A Guide to the Mammals of China makes the rich mammal fauna of China accessible to ecotravelers and naturalists like never before. The comprehensive pocket guide to all of China's 558 mammal species Describes the physical characteristics, geographic distribution, natural history, and conservation status of every species Features up-to-date distribution maps and stunning color illustrations throughout Written by a team of leading specialists |
|
|
|
|
|
|
|
| |