COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS PDF

COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS PDF

Name:
COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS PDF

Published Date:
05/18/2022

Status:
[ Active ]

Description:

Publisher:
World Scientific Publishing Co.

Document status:
Active

Format:
Electronic (PDF)

Delivery time:
10 minutes

Delivery time (for Russian version):
200 business days

SKU:

Choose Document Language:
$47.1
Need Help?
ISBN: 9789811259289

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.

Authors: NingNing Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu, Liang Yu


Edition : 22#
File Size : 1 file , 4 MB
Number of Pages : 194
Published : 05/18/2022
isbn : 9789811259289

History


Related products


Best-Selling Products

ISO/IEC TR 10000-1:1998
Published Date: 11/01/1998
Information technology - Framework and taxonomy of International Standardized Profiles - Part 1: General principles and documentation framework
$37.2
ISO/IEC TR 10000-2:1998
Published Date: 11/01/1998
Information technology - Framework and taxonomy of International Standardized Profiles - Part 2: Principles and Taxonomy for OSI Profiles
$49.8
ISO/IEC TR 10000-3:1998
Published Date: 11/01/1998
Information technology - Framework and taxonomy of International Standardized Profiles - Part 3: Principles and Taxonomy for Open System Environment Profiles
$24.3
ISO/IEC TR 10021-11:1999
Published Date: 12/01/1999
Information technology -- Message Handling Systems (MHS): MHS Routing -- Guide for messaging systems managers -- Part 11:
$75
ISO/IEC TR 10029:1989
Published Date: 03/01/1989
Information technology - Telecommunications and information exchange between systems - Operation of an X.25 interworking unit
$18
ISO/IEC TR 10032:2003
Published Date: 11/01/2003
Information technology - Reference Model of Data Management
$66.9