Works matching IS 00393215 AND DT 1974 AND VI 33 AND IP 3
Results: 7
Reviews.
- Published in:
- 1974
- By:
- Publication type:
- Book Review
A uniform proof procedure for SCI tautologies.
- Published in:
- Studia Logica, 1974, v. 33, n. 3, p. 299, doi. 10.1007/BF02123284
- By:
- Publication type:
- Article
Semantical analyses of propositional systems of Fitch and Nelson.
- Published in:
- Studia Logica, 1974, v. 33, n. 3, p. 283, doi. 10.1007/BF02123283
- By:
- Publication type:
- Article
The decomposition calculus and its semantics.
- Published in:
- Studia Logica, 1974, v. 33, n. 3, p. 277, doi. 10.1007/BF02123282
- By:
- Publication type:
- Article
On quantity of logical values in the discussive D system and in modular logic.
- Published in:
- Studia Logica, 1974, v. 33, n. 3, p. 273, doi. 10.1007/BF02123281
- By:
- Publication type:
- Article
Expressibility of propositions in -languages.
- Published in:
- Studia Logica, 1974, v. 33, n. 3, p. 259, doi. 10.1007/BF02123280
- By:
- Publication type:
- Article
Reducibility of formulae of weak second order arithmetic to pseudo-canonical forms.
- Published in:
- Studia Logica, 1974, v. 33, n. 3, p. 233, doi. 10.1007/BF02123279
- By:
- Publication type:
- Article