Publication:4281101
From MaRDI portal
zbMath0804.11014MaRDI QIDQ4281101
Publication date: 22 January 1995
03D25: Recursively (computably) enumerable sets and degrees
11B39: Fibonacci and Lucas numbers and polynomials and generalizations
11U99: Connections of number theory and logic