The Gödel class with identity is unsolvable
- 1 January 1984
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 10 (1), 113-115
- https://doi.org/10.1090/s0273-0979-1984-15207-8
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 2 references indexed in Scilit:
- ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASEProceedings of the National Academy of Sciences, 1962
- Zum Entscheidungsproblem des logischen FunktionenkalkülsMonatshefte für Mathematik, 1933