Two measures for proving Gentzen's Hauptsatz without mix.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 371
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2003 AND VI 42 AND IP 4
Results: 6
1
2
The restriction of a Borel equivalence relation to a sparse set.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 335, doi. 10.1007/s001530200142
- By:
- Publication type:
- Article
3
Evasion and prediction.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 349, doi. 10.1007/s001530200143
- By:
- Publication type:
- Article
4
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 361, doi. 10.1007/s001530200144
- By:
- Publication type:
- Article
5
Dynamic ordinal analysis.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 303, doi. 10.1007/s00153-002-0169-4
- By:
- Publication type:
- Article
6
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 389, doi. 10.1007/s001530100124
- By:
- Publication type:
- Article