预订 Mathematical Logic: Exercises and Solutions (2021) [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥540.00
海外直订Mathematical Logic: Exercises and Solutions 数学逻辑:练习与解答
¥773.00
明星店铺 中华商务进口图书旗舰店
【预订】Mathematical Logic 9783030790097 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030790097 Author 作者 Laszlo Csirmaz Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-20 Language 语种 其它(含多语) Book Contents 内容简介 This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene’s theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht– Fra?ssé game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robin
¥343.00
预订Mathematical Logic:Exercises and Solutions 预订,预计下单后2-3周左右发货!
¥888.00