zbMath61.0062.10MaRDI QIDQ5971833
Stephen C. Kleene, J. Barkley Rosser
Publication date: 1935 Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)