Some Results on the Structure of the ϕ-Spectrum.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 32/33, p. 503, doi. 10.1002/malq.19800263203
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 32/33
Results: 6
1
2
A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 32/33, p. 497, doi. 10.1002/malq.19800263202
- By:
- Publication type:
- Article
3
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 32/33, p. 523, doi. 10.1002/malq.19800263206
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 32/33, p. fmi, doi. 10.1002/malq.19800263201
- Publication type:
- Article
5
On a Collection of Classes in Ackermann's Set Theory With the Axiomschema of Foundation.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 32/33, p. 517, doi. 10.1002/malq.19800263205
- By:
- Publication type:
- Article
6
A Generalization of Ackermann's Function.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 32/33, p. 509, doi. 10.1002/malq.19800263204
- By:
- Publication type:
- Article