Mathematical Logic, 2/e (Hardcover)
H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
- 出版商: Springer
- 出版日期: 1996-11-15
- 售價: $2,800
- 貴賓價: 9.5 折 $2,660
- 語言: 英文
- 頁數: 291
- 裝訂: Hardcover
- ISBN: 0387942580
- ISBN-13: 9780387942582
下單後立即進貨 (約1週~2週)
買這商品的人也買了...
-
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$663 -
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$450 -
iPhone SDK 開發範例大全 (The iPhone Developer's Cookbook: Building Applications with the iPhone SDK)$620$490 -
Silverlight 2.0 精華技術手冊─使用VC#+WPF程式設計(套書)$650$553 -
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.
