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

AvPeng Ningning,Ningning Peng

Inbunden, Engelska, 2022

1 370 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

Sublinear Computation Paradigm

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

Inbunden

550 kr

Sublinear Computation Paradigm

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

Häftad

442 kr

Proceedings Of The 14th And 15th Asian Logic Conferences

Kim Byunghan, Byunghan Kim, Jorg Brendle, Gyesik Lee, Fenrong Liu, R Ramanujam, Shashi M Srivastava, Akito Tsuboi, Liang Yu, South Korea) Kim, Byunghan (Yonsei Univ, Japan) Brendle, Jorg (Kobe University, South Korea) Lee, Gyesik (Hankyong National Univ, China) Liu, Fenrong (Tsinghua Univ, India) Ramanujam, R (Inst Of Mathematical Sciences Chennai, India) Srivastava, Shashi M (Isi-kolkata, Japan) Tsuboi, Akito (Univ Of Tsukuba, China) Yu, Liang (Nanjing Univ

Inbunden

1 554 kr