Hoppa till sidans huvudinnehåll

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

Inbunden, Engelska, 2022

AvPeng 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

  • Utgivningsdatum2022-06-28
  • Mått157 x 235 x 15 mm
  • Vikt440 g
  • FormatInbunden
  • SpråkEngelska
  • Antal sidor196
  • FörlagWorld Scientific Publishing Co Pte Ltd
  • ISBN9789811259289

Tillhör följande 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

729 kr

Sublinear Computation Paradigm

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

Häftad

579 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

2 019 kr