Computability and Logic 在線電子書 圖書標籤:
發表於2024-11-23
Computability and Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
評分
評分
評分
評分
Computability and Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024