Polytime, combinatory logic and positive safe induction.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 2, p. 169, doi. 10.1007/s001530100105
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2002 AND VI 41 AND IP 2
Results: 5
1
2
Amalgamation properties and finite models in L[sup n] -theories.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 2, p. 155, doi. 10.1007/s001530100106
- By:
- Publication type:
- Article
3
Epsilon substitution method for theories of jump hierarchies.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 2, p. 123, doi. 10.1007/s001530100108
- By:
- Publication type:
- Article
4
On the algebraic structure of linear, relevance, and fuzzy logics.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 2, p. 107, doi. 10.1007/s001530100098
- By:
- Publication type:
- Article
5
Vitali's Theorem and WWKL.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 2, p. 191, doi. 10.1007/s001530100100
- By:
- Publication type:
- Article