Logical foundations: Personal perspective
arXiv:2103.03930
Abstract
This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.
arXiv:2103.03930
This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.