The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institu...
This book is a brief and focused introduction to the reverse mathematics and computability theory...
This volume presents the lecture notes of short courses given by three leading experts in mathema...
This volume presents the written versions of the tutorial lectures given at the Workshop on Compu...
This volume collects written versions of invited and contributed talks presented at the conferenc...
This volume is a collection of written versions of the talks given at the Workshop on Computation...
In the mathematical practice, the Baire category method is a tool for establishing the existence ...