Solvable cases of the decision problem

Provability, Computability and Reflection.

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/1454854#Topic/logique
http://experiment.worldcat.org/entity/work/data/1454854#Topic/mathematics_infinity
http://experiment.worldcat.org/entity/work/data/1454854#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/1454854#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/1454854#Topic/decision_teoria_de_la
http://experiment.worldcat.org/entity/work/data/1454854#Topic/entscheidungsproblem
http://experiment.worldcat.org/entity/work/data/1454854#Topic/probleme_decision
http://experiment.worldcat.org/entity/work/data/1454854#Topic/validite
http://experiment.worldcat.org/entity/work/data/1454854#Topic/halmazelmelet
http://experiment.worldcat.org/entity/work/data/1454854#Topic/mathematics_logic
http://experiment.worldcat.org/entity/work/data/1454854#Topic/logic_symbolic_and_mathematical_periodicals
http://experiment.worldcat.org/entity/work/data/1454854#Topic/losung
http://experiment.worldcat.org/entity/work/data/1454854#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/1454854#Topic/pradikatenkalkul
http://experiment.worldcat.org/entity/work/data/1454854#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/1454854#Topic/decidibilitat_logica_matematica
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/1454854#Topic/decidabilite_logique_mathematique
http://experiment.worldcat.org/entity/work/data/1454854#Topic/toma_de_decisiones_modelos_matematicos
http://experiment.worldcat.org/entity/work/data/1454854#Topic/mathematische_logica
http://experiment.worldcat.org/entity/work/data/1454854#Topic/theoreme_elimination
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/1454854#Topic/unsolvability_mathematical_logic
http://experiment.worldcat.org/entity/work/data/1454854#Topic/mathematiques
http://experiment.worldcat.org/entity/work/data/1454854#Topic/logika_symboliczna_i_matematyczna
http://experiment.worldcat.org/entity/work/data/1454854#Topic/prise_de_decision

http://schema.org/author

http://worldcat.org/entity/person/id/2638646007

http://schema.org/contributor

http://worldcat.org/entity/person/id/2638646007

http://schema.org/creator

http://worldcat.org/entity/person/id/2638646007
http://worldcat.org/entity/person/id/2680872844

http://schema.org/description

"Provability, Computability and Reflection."@en

http://schema.org/name

"Solvable cares of the decision problem"
"Solvable cases of the decision problem, by W. Ackermann"
"Sovable cases of the decision problem"
"Solvable Cases of the decicion problem"
"Solvable cases of the desision problem"
"Solvable cases of the decision problem"@en
"Solvable cases of the decision problem"
"Solvable Cases of the Decision Problem"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/431448716
http://www.worldcat.org/oclc/246416759
http://www.worldcat.org/oclc/783780527
http://www.worldcat.org/oclc/801946777
http://www.worldcat.org/oclc/297999524
http://www.worldcat.org/oclc/1013341
http://www.worldcat.org/oclc/458361227
http://www.worldcat.org/oclc/421617544
http://www.worldcat.org/oclc/751446556
http://www.worldcat.org/oclc/5825509
http://www.worldcat.org/oclc/489047489
http://www.worldcat.org/oclc/859759199
http://www.worldcat.org/oclc/53580300
http://www.worldcat.org/oclc/757241098
http://www.worldcat.org/oclc/781256249
http://www.worldcat.org/oclc/751229254
http://www.worldcat.org/oclc/902116685
http://www.worldcat.org/oclc/911830212
http://www.worldcat.org/oclc/468955883
http://www.worldcat.org/oclc/872187608
http://www.worldcat.org/oclc/909517026
http://www.worldcat.org/oclc/556645781
http://www.worldcat.org/oclc/250092245
http://www.worldcat.org/oclc/440780005
http://www.worldcat.org/oclc/844602663
http://www.worldcat.org/oclc/813230076
http://www.worldcat.org/oclc/851179157
http://www.worldcat.org/oclc/878819682
http://www.worldcat.org/oclc/644519165
http://www.worldcat.org/oclc/819979026
http://www.worldcat.org/oclc/265818784
http://www.worldcat.org/oclc/373064
http://www.worldcat.org/oclc/185684367
http://www.worldcat.org/oclc/801300701
http://www.worldcat.org/oclc/849260332
http://www.worldcat.org/oclc/256055231
http://www.worldcat.org/oclc/729238344
http://www.worldcat.org/oclc/500247065
http://www.worldcat.org/oclc/707029926
http://www.worldcat.org/oclc/804016157
http://www.worldcat.org/oclc/500247075

Décidabilité (logique mathématique).

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.