Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics 1
bokomslag Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Vetenskap & teknik

Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics

Kazuyuki Tanaka Ningning Peng Yue Yang • Kazuyuki Tanaka Yue Yang Ningning Peng • Ningning Peng • Kazuyuki Tanaka • Yue Yang

Inbunden

1789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 2022
This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
  • Författare: Kazuyuki Tanaka Ningning Peng Yue Yang, Kazuyuki Tanaka Yue Yang Ningning Peng, Ningning Peng, Kazuyuki Tanaka, Yue Yang
  • Format: Inbunden
  • ISBN: 9789811259289
  • Språk: Engelska
  • Utgivningsdatum: 2022-06-28
  • Förlag: World Scientific Publishing Co Pte Ltd

Du kanske gillar

  1. Ny
    bokomslag Exceptional Lie groups

    Exceptional Lie groups

    Ichiro Yokota, Takao Imai, Tetsuo Ishihara, Kazuyuki Mitsuishi, Takashi Miyasaka

    Pocket

    1089:-
  2. bokomslag Sets And Computations

    Sets And Computations

    Dilip Raghavan & Yue Sy-David Friedman, Dilip Raghavan & Yue Sy-David Friedman, Sy-David Friedman, Dilip Raghavan, Yue Yang

    Inbunden

    1969:-
  3. bokomslag Computational Prospects Of Infinity - Part I: Tutorials

    Computational Prospects Of Infinity -...

    Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang

    Inbunden

    2309:-
  4. bokomslag Modeling Biomolecular Networks in Cells

    Modeling Biomolecular Networks in Cells

    Luonan Chen, Ruiqi Wang, Chunguang Li, Kazuyuki Aihara

    Inbunden

    1469:-
  5. bokomslag Belt And Road Initiative, The: Asean Countries' Perspectives

    Belt And Road Initiative, The: Asean ...

    Yue Yang & Fujian Li, Yue Yang & Fujian Li, Yue Yang, Fujian Li, Yue Yang

    Inbunden

    1789:-
  6. bokomslag Modeling Biomolecular Networks in Cells

    Modeling Biomolecular Networks in Cells

    Luonan Chen, Ruiqi Wang, Chunguang Li, Kazuyuki Aihara

    1469:-
  7. bokomslag Higher Recursion Theory And Set Theory

    Higher Recursion Theory And Set Theory

    Yue Yang James Cummings, Andrew Marks, Andrew Marks Yue Yang James Cummings, James Cummings, Andrew Marks, Yue Yang

    Inbunden

    2359:-
  8. bokomslag E-recursion, Forcing And C*-algebras

    E-recursion, Forcing And C*-algebras

    Qi Feng Chitat Chong Theodore A Slaman, Qi Feng Theodore A Slaman Chitat Chong, Chi Tat Chong, Qi Feng, Yue Yang

    Pocket

    489:-
  9. bokomslag Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

    Proceedings Of The 11th Asian Logic C...

    Qi Feng Toshiyasu Arai, Qi Feng Toshiyasu Arai, Byunghan Kim, Toshiyasu Arai, Yue Yang

    Inbunden

    1899:-
  10. bokomslag E-recursion, Forcing And C*-algebras

    E-recursion, Forcing And C*-algebras

    Qi Feng Chitat Chong Theodore A Slaman, Qi Feng Theodore A Slaman Chitat Chong, Chi Tat Chong, Qi Feng, Yue Yang

    Inbunden

    1469:-

Andra av samma författare

  1. bokomslag Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

    Intelligent Control, Filtering and Mo...

    Xiaojie Su, Yao Wen, Yue Yang, Peng Shi

    Inbunden

    1389:-
  2. bokomslag Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

    Intelligent Control, Filtering and Mo...

    Xiaojie Su, Yao Wen, Yue Yang, Peng Shi

    Pocket

    1429:-
  3. bokomslag Belt And Road Initiative, The: Asean Countries' Perspectives

    Belt And Road Initiative, The: Asean ...

    Yue Yang & Fujian Li, Yue Yang & Fujian Li, Yue Yang, Fujian Li, Yue Yang

    Inbunden

    1789:-
  4. bokomslag Asean-china Cooperation For Poverty Reduction

    Asean-china Cooperation For Poverty R...

    Yanjun Guo & Yue Yang, Yanjun Guo & Yue Yang, Yanjun Guo, Yue Yang

    Inbunden

    1619:-
  5. bokomslag Asean-china Cooperation For Environmental Protection And Sustainable Energy Development

    Asean-china Cooperation For Environme...

    Yue Yang & Fujian Li, Yue Yang & Fujian Li, Yue Yang, Yue Yang

    Inbunden

    1449:-
  6. bokomslag Asean-china Cooperation On Regional Connectivity And Sustainability

    Asean-china Cooperation On Regional C...

    Yanjun Guo & Yue Yang, Yanjun Guo & Yue Yang, Yanjun Guo, Yue Yang, Yanjun Guo

    Inbunden

    1619:-
  7. bokomslag Digital Economy And The Sustainable Development Of Asean And China

    Digital Economy And The Sustainable D...

    Yue Yang, Yue Yang, Yue Yang

    Inbunden

    1619:-
  8. bokomslag Preventive Diplomacy In Non-traditional Security Issues: Asean-china Public Health And Environmental Cooperation

    Preventive Diplomacy In Non-tradition...

    Youlin Qiao Yue Yang, Youlin Qiao Yue Yang, Yue Yang, Youlin Qiao

    Inbunden

    1459:-
  9. bokomslag Computational Prospects Of Infinity - Part I: Tutorials

    Computational Prospects Of Infinity -...

    Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang

    Inbunden

    2309:-
  10. bokomslag Sets And Computations

    Sets And Computations

    Dilip Raghavan & Yue Sy-David Friedman, Dilip Raghavan & Yue Sy-David Friedman, Sy-David Friedman, Dilip Raghavan, Yue Yang

    Inbunden

    1969:-