Works matching IS 00393215 AND DT 1996 AND VI 56 AND IP 3
Results: 6
The intrinsic difficulty of recursive functions.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 427, doi. 10.1007/BF00372775
- By:
- Publication type:
- Article
A reduction rule for Peirce formula.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 419, doi. 10.1007/BF00372774
- By:
- Publication type:
- Article
Quantum MV algebras.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 393, doi. 10.1007/BF00372773
- By:
- Publication type:
- Article
A linear conservative extension of Zermelo-Fraenkel set theory.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 361, doi. 10.1007/BF00372772
- By:
- Publication type:
- Article
Honesty in partial logic.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 323, doi. 10.1007/BF00372771
- By:
- Publication type:
- Article
Internal approach to external sets and universes.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 293, doi. 10.1007/BF00372770
- By:
- Publication type:
- Article