Herbert B．Enderton 哈佛大學(xué)博士，師從著名哲學(xué)家Hilary Putnam。曾任教于加州大學(xué)伯克利分?！，F(xiàn)為加州大學(xué)洛杉磯分校數(shù)學(xué)系兼職教授，該?！斑壿媽W(xué)論壇”主席，曾擔任《符號邏輯學(xué)會評淪》雜志的宅編。除本書外，他還著有另外兩本廣受好評的教材Elements of Set Theory和Linear Algebra。
圖書目錄
CHAPTER ZERO USEFUL FACTS ABOUT SETS CHAPTER ONE SENTENTIAL LOGIC 1.0 Informal Remarks on Formal Languages 2.0 The Language of Sentential Logic 3.0 Induction and Recursion 4.0 Truth Assignments 5.0 Unique Readability 6.0 Sentential Connectives 7.0 Switching Circuits 8.0 Compactness and Effectiveness CHAPTER TWO FIRST-ORDER LOGIC 2.0 Preliminary Remarks 2.1 First-Order Languages 2.2 Truth and Models 2.3 Unique Readability 2.4 A Deductive Calculus 2.5 Soundness and Completeness Theorems 2.6 Models of Theories 2.7 Interpretations between Theories 2.8 Nonstandard Analysis CHAPTER THREE UNDECIDABILITY Number Theory 3.0 Number Theory 3.1 Natural Numbers with Successor 3.2 Other Reducts of Number Theory 3.3 A Subtheory of Number Theory 3.4 Arithmetization of Syntax 3.5 Incompleteness and Undecidability 3.6 Applications to Set Theory 3.7 Representing Exponentiation 3.8 Recursive Functions CHAPTER FOUR SECOND-ORDER LOGIC Second-Order Languages 4.1 Second-Order Languages 4.2 Skolem Functions 4.3 Many-Sorted LogicGeneral Structures 4.4 General Structures SUGGESTIONS FOR FURTHER READING LIST OF SYMBOLS INDEX
鄂公網(wǎng)安備 42010302001612號 