50 元券可计算性定性ComputabilityDecidability￥5030去看看中华商务图书专营店发布了海外直订Computability and Decidability: An Introduction for Students of Computer Science 可计算性和可判定性：计算机90 元券EnumerabilityDecidability预订Computa￥4580去看看中国国际图书专营店发布了【预订】Enumerability . Decidability Computa...90 元券ComputabilityDecidability预订￥4580去看看中国国际图书专营店发布了【预订】Computability and Decidability: An I...90 元券DecidabilityCombination预订Theories￥5680去看看中国国际图书专营店发布了【预订】Decidability of Logical Theories and Their Combination90 元券DecidabilityDeducibility预订￥6480去看看中国国际图书专营店发布了预订 Deducibility and Decidability60 元券ParameterizedDecidabilityVerification预订￥4320去看看中国国际图书专营店发布了预订 Decidability of Parameterized Verification189 元券Metamathematics9789048152988CompletenessDecidability￥17050去看看澜瑞图书专营店发布了【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9789048152988]57 元券Parameterized9783031008832DecidabilityVerification￥5150去看看澜瑞图书专营店发布了【3-4周达】Decidability of Parameterized Verification [9783031008832]189 元券Metamathematics9780792359043CompletenessDecidability￥17090去看看澜瑞图书专营店发布了【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9780792359043]75 元券9780415754965DecidabilityDeducibility周达】￥6810去看看澜瑞图书专营店发布了【3-4周达】Deducibility and Decidability [9780415754965]192 元券9780415000338DecidabilityDeducibility周达】￥17440去看看澜瑞图书专营店发布了【3-4周达】Deducibility and Decidability [9780415000338]162 元券9783112746509DecidabilityGeneralizedQuantifiers￥14730去看看澜瑞图书专营店发布了预订 Decidability and Generalized Quantifiers [9783112746509]63 元券9783662529461DecidabilityDescriptiveTopological￥5740去看看澜瑞图书专营店发布了【3-4周达】Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Comple... [9783662529461]75 元券9783030565534DecidabilityCombinationTheories￥6900去看看澜瑞图书专营店发布了【3-4周达】Decidability of Logical Theories and Their Combination [9783030565534]75 元券9783030565565DecidabilityCombinationTheories￥6900去看看澜瑞图书专营店发布了【3-4周达】Decidability of Logical Theories and Their Combination [9783030565565]57 元券9788323336952DecidabilityDeductiveSystems￥5410去看看澜瑞图书专营店发布了【3-4周达】Deductive Systems and the Decidability Problem for Hybrid Logics [9788323336952]57 元券Computability9783540058694DecidabilityIntroduction￥5410去看看澜瑞图书专营店发布了【3-4周达】Computability and Decidability : An Introduction for Students of Computer Science [9783540058694]50 元券ParameterizedDecidabilityVerification验证￥4850去看看中华商务图书专营店发布了海外直订Decidability of Parameterized Verification 参数化验证的可判性50 元券定性DecidabilityDeducibility演绎￥5640去看看中华商务图书专营店发布了海外直订Deducibility and Decidability 可演绎性和可判定性120 元券9783112746509DecidabilityGeneralizedQuantifiers￥14500去看看中国国际图书专营店发布了预订 Decidability and Generalized Quantifiers: 9783112746509120 元券预售DecidabilityCountableAlgebras￥15230去看看中国国际图书专营店发布了【预售】Countable Boolean Algebras and Decidability50 元券DecidabilityTheoriesLogical海外￥6390去看看中华商务图书专营店发布了海外直订Decidability of Logical Theories and Their Combi...100 元券推断定性DecidabilityDeducibility￥13270去看看中华商务图书专营店发布了海外直订Deducibility and Decidability 可推断性和可判定性100 元券可数布尔代数定性￥14500去看看中华商务图书专营店发布了海外直订Countable Boolean Algebras and Decidability 可数布尔代数与可判定性
![【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9789048152988]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01N31MiX28LaMnnhJUX_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Decidability of Parameterized Verification [9783031008832]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01mNTNXi28LaMfE9NDc_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9780792359043]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01N9nr4J28LaM4eskIm_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Deducibility and Decidability [9780415754965]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN012rBPd928LaM8nvV1S_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Deducibility and Decidability [9780415000338]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01JGRN6c28LaM1m66Jl_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![预订 Decidability and Generalized Quantifiers [9783112746509]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01KTrjEP28LaMxSfoQ7_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Comple... [9783662529461]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN014YP4YV28LaMgkjmjh_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Decidability of Logical Theories and Their Combination [9783030565534]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN0161M3DW28LaMgAokgk_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Decidability of Logical Theories and Their Combination [9783030565565]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01CTh5Gv28LaMerioE7_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Deductive Systems and the Decidability Problem for Hybrid Logics [9788323336952]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01Sfle4K28LaMmpZmpd_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【3-4周达】Computability and Decidability : An Introduction for Students of Computer Science [9783540058694]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01Fj7Ukx28LaMky4MeE_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
