Works matching IS 09335846 AND DT 2001 AND VI 40 AND IP 6
Results: 5
On Herbrand consistency in weak arithmetic.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 399, doi. 10.1007/s001530000072
- By:
- Publication type:
- Article
On the filter of computably enumerable supersets of an r-maximal set.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 415, doi. 10.1007/PL00003846
- By:
- Publication type:
- Article
On the weak Freese–Nation property of 𝒫(ω).
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 425, doi. 10.1007/PL00003847
- By:
- Publication type:
- Article
Boolean deductive systems of BL-algebras.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 467, doi. 10.1007/s001530100088
- By:
- Publication type:
- Article
Leibniz filters and the strong version of a protoalgebraic logic.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 437, doi. 10.1007/PL00003848
- By:
- Publication type:
- Article