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

Jorg Brendle

ISBN 10: 9819815932 / ISBN 13: 9789819815937

Published by World Scientific Publishing Co Pte Ltd, SG, 2025

About this Item

This volume presents the combined proceedings of two major conferences in mathematical logic - the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) - held at Nazarbayev University, Astana, Kazakhstan, from 17-21 June 2019 and 23-25 June 2019, respectively. ALC is a prominent international event promoting research and collaboration in logic across the Asia-Pacific region, featuring developments in mathematical logic, logic in computer science, and philosophical logic. CCR focuses on algorithmic information theory, Kolmogorov complexity, and their intersections with computability, complexity theory, and reverse mathematics.This collection brings together leading voices in the field, offering fresh perspectives and state-of-the-art research in logic, computability, set theory, and model theory. It is an essential resource for researchers, scholars, and students interested in contemporary developments in mathematical logic and its applications.

Seller Inventory # LU-9789819815937

Bibliographic Details

• Title: Mathematical Logic, Computability, Complexity, And Randomness - Proceedings Of The 16th Asian Logic Conference And 14th International Conference On Computability, Complexity, And Randomness
• Publisher: World Scientific Publishing Co Pte Ltd, SG
• Publication Date: 2025
• Language: English
• ISBN 10: 9819815932
• ISBN 13: 9789819815937
• Binding: Hardback
• Condition: New

About this title

Synopsis

This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and collaboration in logic across the Asia–Pacific region, featuring developments in mathematical logic, logic in computer science, and philosophical logic. CCR focuses on algorithmic information theory, Kolmogorov complexity, and their intersections with computability, complexity theory, and reverse mathematics. This collection brings together leading voices in the field, offering fresh perspectives and state-of-the-art research in logic, computability, set theory, and model theory. It is an essential resource for researchers, scholars, and students interested in contemporary developments in mathematical logic and its applications.