𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Degrees of Unsolvability Associated with Classes of Formalized Theoriesby Solomon Feferman;Degrees of Formal Systemsby J. R. Shoenfield

✍ Scribed by Review by: Hartley Rogers, Jr.

Book ID
124964143
Publisher
Association for Symbolic Logic
Year
1962
Tongue
English
Weight
135 KB
Volume
27
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Degrees of Modelsby J. R. Shoenfield
Degrees of Modelsby J. R. Shoenfield
✍ Review by: Solomon Feferman 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB
Stépéni Nérazréšimosti Problémy Toždéstv
Stépéni Nérazréšimosti Problémy Toždéstva v Konéčno Oprédélénnyh Gruppah.by A. A. Friedman;Degrees of Insolvability of the Word Problem in Finitely Defined Groupby A. A. Fridman; Sue Ann Walker;Finitely presented Groups with Word Problems of Arbitrary Degrees of Insolubilityby C. R. J. Clapham;Finitely Presented Group Whose Word Problem has the Same Degree as that of an Arbitrarily Given Thue System (An Application of Methods of Britton)by William W. Boone;Word problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systemsby William W. Boone;Word Problems and Recursively Enumerable Degrees of Unsolvability. A Sequel on Finitely Presented Groupsby William W. Boone
✍ Review by: J. C. Shepherdson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB