Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathem pdf epub mobi txt 電子書 下載2025
出版者:Springer
作者:Igor Lavrov
出品人:
頁數:302
译者:
出版時間:2003-03-01
價格:USD 141.00
裝幀:Hardcover
isbn號碼:9780306477126
叢書系列:
圖書標籤:
- MathSetTheoryLogic
- 集閤論
- 數學邏輯
- 算法理論
- 離散數學
- 高等數學
- 大學教材
- 數學
- 理論計算機科學
- 邏輯學
- 算法
下載連結在頁面底部
具體描述
"Problems in Set Theory, Mathematical Logic and the Theory of Algorithms" by I. Lavrov and L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有