Books received.
- Published in:
- 1995
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1995 AND VI 54 AND IP 2
Results: 6
1
2
A note on the proof theory the λII-calculus.
- Published in:
- Studia Logica, 1995, v. 54, n. 2, p. 199, doi. 10.1007/BF01063152
- By:
- Publication type:
- Article
3
Discursive logic towards a logic of rational discourse.
- Published in:
- Studia Logica, 1995, v. 54, n. 2, p. 231, doi. 10.1007/BF01063153
- By:
- Publication type:
- Article
4
Constructing a continuum of predicate extensions of each intermediate propositional logic.
- Published in:
- Studia Logica, 1995, v. 54, n. 2, p. 173, doi. 10.1007/BF01063151
- By:
- Publication type:
- Article
5
Connectification for n-contraction.
- Published in:
- Studia Logica, 1995, v. 54, n. 2, p. 149, doi. 10.1007/BF01063150
- By:
- Publication type:
- Article
6
Freely generated filters in free Boolean algebras.
- Published in:
- Studia Logica, 1995, v. 54, n. 2, p. 139, doi. 10.1007/BF01063149
- By:
- Publication type:
- Article