| 書目名稱 | Mathematical Logic | | 副標(biāo)題 | An Introduction to M | | 編輯 | A. H. Lightstone,H. B. Enderton | | 視頻video | http://file.papertrans.cn/627/626209/626209.mp4 | | 叢書名稱 | Mathematical Concepts and Methods in Science and Engineering | | 圖書封面 |  | | 描述 | Before his death in March, 1976, A. H. Lightstone delivered the manu- script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone‘s book. H. B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis. Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed. These restrictions are dropped here, in order to develop a flexible, expressive language capable of exploiting the potential of nonstandard analysis. To assist the reader in grasping the basic ideas of logic, we begin in Part I by presenting the propositional calculus and statement systems. This provides a relatively simple set | | 出版日期 | Book 1978 | | 關(guān)鍵詞 | Apple; Calc; Mathematica; Natural; Tuple; calculus; form; language; logic; mathematical logic; proof; propositi | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4615-8750-7 | | isbn_softcover | 978-1-4615-8752-1 | | isbn_ebook | 978-1-4615-8750-7 | | copyright | Springer Science+Business Media New York 1978 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 13:29
發(fā)表于 2025-3-21 18:22:19
