COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS
Inbunden, Engelska, 2022
1 379 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 42
ASPECTS OF COMPUTATION AND AUTOMATA THEORY WITH APPLICATIONS
Greenberg Noam, Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan, Guohua Wu, Yue Yang
Inbunden, 2023
2 173 kr
Del 44
HIGHER RECURSION THEORY AND SET THEORY
Cummings James, James Cummings, Andrew Marks, Yue Yang, Liang Yu
Inbunden, 2025
2 041 kr
PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY
Arai Toshiyasu, Toshiyasu Arai, Qi Feng, Byunghan Kim, Guohua Wu, Yue Yang
Inbunden, 2011
1 466 kr
MATHEMATICAL LOGIC, COMPUTABILITY, COMPLEXITY, AND RANDOMNESS - PROCEEDINGS OF THE 16TH ASIAN LOGIC CONFERENCE AND 14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY, AND RANDOMNESS
Brendle Joerg, Joerg Brendle, Rod Downey, Sergey S Goncharov, Manat Mustafa, Guohua Wu, Yue Yang
Inbunden, 2025
1 379 kr
Sublinear Computation Paradigm
Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno
Inbunden, 2021
571 kr
Sublinear Computation Paradigm
Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno
Häftad, 2021
458 kr
Del 8