On the Proof Theory of the Modal Logic Grz.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 10-12, p. 145, doi. 10.1002/malq.19860321002
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1986 AND VI 32 AND IP 10-12
Results: 5
1
2
[Russian Text Ignored.].
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 10-12, p. 149, doi. 10.1002/malq.19860321003
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 10-12, p. fmi, doi. 10.1002/malq.19860321001
- Publication type:
- Article
4
The Theory of Boolean Algebras With Q<sub>0</sub> and Quantification Over Ideals.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 10-12, p. 189, doi. 10.1002/malq.19860321005
- By:
- Publication type:
- Article
5
Deterministic Algorithms, Simple Languages And One-to-One Gentzen Type Formalizations.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 10-12, p. 181, doi. 10.1002/malq.19860321004
- By:
- Publication type:
- Article