This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached ……続きを見る
著者：Raymond M Smullyan
出版社： World Scientific Publishing Company
発売日： 2016年11月11日
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'
The Mathematical Gazette
This is the final book written by the late great puzzle master ……続きを見る
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also beh……続きを見る
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics……続きを見る
The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 201……続きを見る
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set……続きを見る
