Works matching IS 09425616 AND DT 1984 AND VI 30 AND IP 13-16
1
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. fmi, doi. 10.1002/malq.19840301301
- Article
2
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 193, doi. 10.1002/malq.19840301302
- Forti, Marco;
- Honsell, Furio
- Article
3
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 233, doi. 10.1002/malq.19840301307
- Hemmerling, Armin;
- Murawski, Gerd
- Article
4
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 213, doi. 10.1002/malq.19840301305
- Article
5
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 199, doi. 10.1002/malq.19840301304
- Article
6
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 197, doi. 10.1002/malq.19840301303
- Article
7
- Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 223, doi. 10.1002/malq.19840301306
- Article