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

Inbunden, Engelska, 2022

Av PENG NINGNING, Peng Ningning, Ningning Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu, Liang Yu

1 779 kr

Beställningsvara. Skickas inom 3-6 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
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.

Produktinformation

Du kanske också är intresserad av

Aspects Of Computation And Automata Theory With Applications
Del 42

Aspects Of Computation And Automata Theory With Applications

GREENBERG NOAM, Greenberg Noam, Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan, Guohua Wu, Yue Yang

2 799 kr

Higher Recursion Theory And Set Theory
Del 44

Higher Recursion Theory And Set Theory

CUMMINGS JAMES, Cummings James, James Cummings, Andrew Marks, Yue Yang, Liang Yu

2 249 kr

Computational Prospects Of Infinity - Part Ii: Presented Talks
Del 15

Computational Prospects Of Infinity - Part Ii: Presented Talks

AL CHITAT CHONG ET, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, Sebastian A Terwijn, Guohua Wu, S'pore) Chong, Chi Tat (Nus, China) Feng, Qi (Chinese Academy Of Sciences, Usa) Slaman, Theodore A (Univ Of California, Berkeley, Usa) Woodin, W Hugh (The Univ Of California, Berkeley, S'pore) Yang, Yue (Nus, The Netherlands) Terwijn, Sebastian A (Radboud Univ, S'pore) Wu, Guohua (Ntu

3 399 kr

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

ARAI TOSHIYASU, Arai Toshiyasu, Byunghan Kim, Toshiyasu Arai, Yue Yang, Guohua Wu, Qi Feng, South Korea) Kim, Byunghan (Yonsei Univ, Japan) Arai, Toshiyasu (Chiba Univ, S'pore) Yang, Yue (Nus, S'pore) Wu, Guohua (Ntu, China) Feng, Qi (Chinese Academy Of Sciences

1 869 kr

Mathematical Logic, Computability, Complexity, And Randomness: Proceedings Of The 16th Asian Logic Conference And 14th International Conference On Computability, Complexity, And Randomness
  • Nyhet

Mathematical Logic, Computability, Complexity, And Randomness: Proceedings Of The 16th Asian Logic Conference And 14th International Conference On Computability, Complexity, And Randomness

Joerg Brendle Rod Downey Sergey S. G., Manat Mustafa, Jorg Brendle, Rod Downey, Sergei S Goncharov, Guohua Wu, Yue Yang

1 679 kr

Sublinear Computation Paradigm

Sublinear Computation Paradigm

Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno

739 kr

Den yttersta hemligheten
  • Nyhet
Del 6

Den yttersta hemligheten

Dan Brown

329 kr

Resource Evaluation and Deep Processing of Edible Insects
  • Nyhet

Resource Evaluation and Deep Processing of Edible Insects

Jun Wang, Guohua Wu, Joanne Gould

2 289 kr

Sublinear Computation Paradigm

Sublinear Computation Paradigm

Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno

599 kr

Energy Management of Internet Data Centers in Smart Grid

Energy Management of Internet Data Centers in Smart Grid

Tao Jiang, Liang Yu, Yang Cao

719 kr

Tillhör följande kategorier