On the polynomial-space completeness of intuitionistic propositional logic.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 7, p. 711
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2003 AND VI 42 AND IP 7
Results: 6
1
2
Forcings with the countable chain condition and the covering number of the Marczewski ideal.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 7, p. 695, doi. 10.1007/s00153-003-0174-2
- By:
- Publication type:
- Article
3
L[supi]D[supΖ][subλ] as a basis for PRA.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 7, p. 665, doi. 10.1007/s00153-003-0175-1
- By:
- Publication type:
- Article
4
On the fine structure of the polygroup blow-up.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 7, p. 649, doi. 10.1007/s00153-003-0173-3
- By:
- Publication type:
- Article
5
Specialising Aronszajn trees by countable approximations.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 7, p. 627, doi. 10.1007/s00153-002-0168-5
- By:
- Publication type:
- Article
6
Completeness of indexed ∈-calculus.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 7, p. 617, doi. 10.1007/s00153-003-0170-6
- By:
- Publication type:
- Article