TY - GEN digital ID - 131774587 TI - Solvable cases of the decision problem PY - 1954 SN - 9780444533807 044453380X 1283526263 9781283526265 9786613838711 6613838713 0080957358 9780080957357 PB - Amsterdam North-Holland Pub. Co DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:131774587 AB - Provability, Computability and Reflection. ER -