Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dick de Jongh on Intuitionistic and Provability Logics / / edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang
| Dick de Jongh on Intuitionistic and Provability Logics / / edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang |
| Autore | Bezhanishvili Nick |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (386 pages) |
| Disciplina | 160 |
| Altri autori (Persone) |
IemhoffRosalie
YangFan |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic
Mathematical logic Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic in Philosophy |
| ISBN | 3-031-47921-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Notes on my scientific life (Dick de Jongh) -- Chapter 2. Lewisian fixed points I: Two incomparable constructions (Tadeusz Litak and Albert Visser) -- Chapter 3. An abstract look at the fixed-point theorem for provability logic (Johan van Benthem) -- Chapter 4. The Σ1-provability logic of HA revisited (Mojtaba Mojtahedi) -- Chapter 5. An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Joost J. Joosten, Jan Mas Rovira, Luka Mikec, and Mladen Vuković) -- Chapter 6. Deciding dependence in logic and algebra (George Metcalfe and Naomi Tokuda) -- Chapter 7. About the unification types of modal logics (Philippe Balbiani and Çiğdem Gencer) -- Chapter 8. Proof theory for lax logic (Rosalie Iemhoff) -- Chapter 9. Intermediate logics in the setting of team semantics (Nick Bezhanishvili and Fan Yang) -- Chapter 10. Well partial orders (Andreas Weiermann) -- Chapter 11. Learning to act and observe in partially observable domains (Thomas Bolander, Nina Gierasimczuk, and Andrés Occhipinti Liberman) -- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky) -- Chapter 13. Bibliography of Dick de Jongh. |
| Record Nr. | UNINA-9910878055403321 |
Bezhanishvili Nick
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Planning for innovation : understanding China's plans for technological, energy, industrial, and defense development : a report prepared for the U.S.-China Economic and Security Review Commission / / Tai Ming Cheung, Thomas Mahnken, Deborah Seligsohn, Kevin Pollpeter, Eric Anderson, Fan Yang
| Planning for innovation : understanding China's plans for technological, energy, industrial, and defense development : a report prepared for the U.S.-China Economic and Security Review Commission / / Tai Ming Cheung, Thomas Mahnken, Deborah Seligsohn, Kevin Pollpeter, Eric Anderson, Fan Yang |
| Autore | Cheung Tai Ming |
| Pubbl/distr/stampa | [San Diego, Calif.] : , : University of California, Institute on Global Conflict and Cooperation, , 2016 |
| Descrizione fisica | 1 online resource (xviii, 317 pages) : illustrations |
| Soggetto topico |
Science and state - China
Technology and state - China Military planning - China Energy policy - China Competition, International Industrial policy - China National security - United States Economic policy Energy policy Industrial policy Military planning Military policy National security Science and state Technology and state |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Planning for innovation |
| Record Nr. | UNINA-9910717139503321 |
|
Cheung Tai Ming
|
||
| [San Diego, Calif.] : , : University of California, Institute on Global Conflict and Cooperation, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Poverty Alleviation Via Forest Carbon Sequestration : Theory, Empirical Evidence, and Policy Implications / / by Weizhong Zeng, Fan Yang
| Poverty Alleviation Via Forest Carbon Sequestration : Theory, Empirical Evidence, and Policy Implications / / by Weizhong Zeng, Fan Yang |
| Autore | Zeng Weizhong |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (xix, 330 pages) |
| Disciplina | 363.738747 |
| Collana | International Research on Poverty Reduction |
| Soggetto topico |
Well-being
Sustainability Social policy Well-Being Social Policy |
| ISBN | 981-9981-91-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Definitions of Core Concepts and Literature Review -- Chapter 3. Theoretical Framework for PAFCS -- Chapter 4. Evolution of PAFCS Policies -- Chapter 5. Investigating the Status Quo of PAFCS in Southwest Ethnic Areas -- Chapter 6. Analysis of Farmers' Willingness to Participate Sustainedly in FCS Projects -- Chapter 7. Analysis of Constraints on Farmers' Participation in FCS Projects -- Chapter 8. Analysis of Farmers' Willingness to Accept Ecological Compensation for Participating in FCS Projects -- Chapter 9. Analysis of Farmers’ Cultural Adaptation to FCS Projects -- Chapter 10. Analysis of the Impact of Livelihood Capital on Farmers’ Earnings from FCS Projects -- Chapter 11. Analysis of the Functions of the Community in FCS Projects and the Factors Influencing the Community’s Functions -- Chapter 12. Analysis of the Willingness of Community Elites to Organise FCS Projects -- Chapter 13. Analysis of Elite Capture in FCS Projects -- Chapter 14. Evaluation of the Trickle-Down Effect of PAFCS -- Chapter 15. A Comprehensive Evaluation of the Performance of PAFCS -- Chapter 16. Evaluation of Farmers’ Perceptions of the Effect of PAFCS -- Chapter 17. Conclusions, Policy Suggestions, and Prospects. |
| Record Nr. | UNINA-9910847081703321 |
|
Zeng Weizhong
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Work in Progress : : Integrating Markets for Goods, Labor, and Capital in the East African Community / / Emre Alper, Wenjie Chen, Jemma Dridi, Herve Joly, Fan Yang
| A Work in Progress : : Integrating Markets for Goods, Labor, and Capital in the East African Community / / Emre Alper, Wenjie Chen, Jemma Dridi, Herve Joly, Fan Yang |
| Autore | Alper Emre |
| Pubbl/distr/stampa | Washington, D.C. : , : International Monetary Fund, , 2017 |
| Descrizione fisica | 1 online resource (76 p.) |
| Disciplina | 338.900967 |
| Altri autori (Persone) |
ChenWenjie
DridiJemma JolyHerve YangFan |
| Collana | Departmental Papers |
| Soggetto topico |
Balance of payments
Balance of trade Capital controls Capital movements Direction of trade Emigration and Immigration Emigration and immigration Empirical Studies of Trade Exports and Imports Imports International economics International Investment International Migration International Trade Organizations International trade Long-term Capital Movements Migration Migration, immigration & emigration Population and demographics Public finance & taxation Tariff Tariffs Taxation Taxes Trade Policy Trade: General |
| Soggetto non controllato |
Africa, east
Business & economics |
| ISBN |
1-4755-7386-3
1-4755-7393-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Work in Progress |
| Record Nr. | UNINA-9910165036603321 |
|
Alper Emre
|
||
| Washington, D.C. : , : International Monetary Fund, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||