Mathematical Logic, 2/e (Hardcover)
暫譯: 數學邏輯（第二版，精裝本）
H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
- 出版商: Springer
- 出版日期: 1994-06-10
- 售價: $3,350
- 貴賓價: 9.5 折 $3,183
- 語言: 英文
- 頁數: 291
- 裝訂: Hardcover
- ISBN: 0387942580
- ISBN-13: 9780387942582
-
相關分類:
離散數學 Discrete-mathematics
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
Matlab 7 程式設計$680$578 -
深入淺出 Java 程式設計, 2/e (Head First Java, 2/e)$880$695 -
C 語法暨程式庫標準辭典 (C In A Nutshell: A Desktop Quick Reference)$680$537 -
絕對看得懂！超圖解網路技術入門$450$383 -
Windows Mobile 平台應用與開發$520$199 -
C++ Primer, 4/e (中文版)$990$891 -
CCNA 認證教戰手冊 (CCNA: Cisco Certified Network Associate Study Guide (Exam 640-802), 6/e)$1,180$1,003 -
深入淺出 C# (Head First C#)$980$774 -
程式之美－微軟技術面試心得$490$387 -
Crystal Reports 2008 報表設計與開發$680$537 -
深入淺出 JavaScript 與 Ajax 網頁程式設計$650$507 -
大賀葉子教你 Illustrator 繪圖之技$480$408 -
Linux 裝置驅動程式之開發詳解$780$616 -
ASP.NET 3.5 應用系統專題實作$590$460 -
SQL Server 2008 SSIS 整合服務$780$616 -
jQuery UI & Plugins$680$578 -
跟 Adobe 徹底研究 Dreamweaver CS4 (Adobe Dreamweaver CS4 Classroom in a Book)$550$468 -
跟 Adobe 徹底研究 InDesign CS4 (Adobe InDesign CS4 Classroom in a Book)$650$553 -
Google Android 應用框架與雲端程式設計 36 技, 5/e$500$199 -
iPhone SDK 開發範例大全 (The iPhone Developer's Cookbook: Building Applications with the iPhone SDK)$620$527 -
Silverlight 2.0 精華技術手冊─使用VC#+WPF程式設計(套書)$650$514 -
Ext JS 開發實戰－次世代 AJAX 解決方案$550$435 -
Google Android SDK 開發範例大全$750$593 -
Microsoft Visual Basic 2008 資料庫程式設計範例教本$650$553 -
實戰資料庫設計$450$356
相關主題
商品描述
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
商品描述(中文翻譯)
這本關於一階邏輯的介紹清楚地闡明了一階邏輯在數學基礎中的角色，特別是公理方法的範圍以及機器證明定理的兩個基本問題。它涵蓋了幾個在入門書籍中不常討論的進階主題，例如 Fraïssé 的基本等價性特徵、Lindström 的一階邏輯最大性定理，以及邏輯程式設計的基本原理。
