Characterizing the elementary recursive functions by a fragment of Gödel's T.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 475, doi. 10.1007/s001530050160
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2000 AND VI 39 AND IP 7
Results: 5
1
2
Fixed point theories and dependent choice.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 493
- By:
- Publication type:
- Article
3
Elementary extensions of models of set theory.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 509, doi. 10.1007/s001530050162
- By:
- Publication type:
- Article
4
The ...-measure as a tool for classifying computational complexity.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 515, doi. 10.1007/s001530050163
- By:
- Publication type:
- Article
5
The size of ...
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 541, doi. 10.1007/s001530050164
- By:
- Publication type:
- Article