A More Natural Alternative to Mostowski's (MFL).
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 25/26, p. 387, doi. 10.1002/malq.19770232504
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1977 AND VI 23 AND IP 25/26
Results: 6
1
2
The Boolean ( k, m, p<sub>1</sub>, ..., p<sub>m</sub>)-Shift-Registers II (An Algebraic Approach).
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 25/26, p. 383, doi. 10.1002/malq.19770232503
- By:
- Publication type:
- Article
3
The Axiomatic Characterization of Functions.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 25/26, p. 373, doi. 10.1002/malq.19770232502
- By:
- Publication type:
- Article
4
Ein Vollständiger Ableitungsbegriff Für Die Äquivalenz in Einem Funktionell Unvollständigen Dreiwertigen Aussagenkalkül.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 25/26, p. 401, doi. 10.1002/malq.19770232506
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 25/26, p. fmi, doi. 10.1002/malq.19770232501
- Publication type:
- Article
6
Decomposition of Gödelnumberings into Friedbergnumberings.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 25/26, p. 393, doi. 10.1002/malq.19770232505
- By:
- Publication type:
- Article