Metamathematics9780792359043CompletenessDecidability
9783662529461DecidabilityDescriptiveTopological
Metamathematics9789048152988CompletenessDecidability
9780415000338DecidabilityDeducibility周达】
9780415754965DecidabilityDeducibility周达】
9788323336952DecidabilityDeductiveSystems
9783030565565DecidabilityCombinationTheories
9783030565534DecidabilityCombinationTheories
Computability9783540058694DecidabilityIntroduction
Parameterized9783031008832DecidabilityVerification
9783112746509DecidabilityGeneralizedQuantifiers
预售DecidabilityCountableAlgebras
EnumerabilityDecidability预订Computa
可数布尔代数定性
DecidabilityCombination预订Theories
定性DecidabilityDeducibility演绎
DecidabilityDeducibility预订
ParameterizedDecidabilityVerification预订
DecidabilityTheoriesLogical海外
推断定性DecidabilityDeducibility
ComputabilityDecidability预订
可计算性定性ComputabilityDecidability
ParameterizedDecidabilityVerification验证
扫描二维码打开
周一至周六
9:00-22:00
淘折扣 滇ICP备2023000592号-3 滇公网安备53230102000530号 统一社会信用代码：91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved
扫描下载二维码
滇公网安备53230102000530号 
统一社会信用代码：91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved 
![【4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel'... [9780792359043]](/data/upload/site/5bff9203c429d.png)
