The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated...

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...

This volume is devoted to the main areas of mathematical logic and applications to computer scien...

This is the first book which gives a unified theory for countable and uncountable computable s...