Logic, Computation, Hierarchies

ISBN: 9781614517832 出版年：2014 页码：424 De Gruyter

In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.