Modus Ponens and Derivation from Horn Formulas.
- Published in:
- Mathematical Logic Quarterly, 1967, v. 13, n. 3-5, p. 33, doi. 10.1002/malq.19670130302
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1967 AND VI 13 AND IP 3-5
Results: 4
1
2
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1967, v. 13, n. 3-5, p. fmi, doi. 10.1002/malq.19670130301
- Publication type:
- Article
3
Über Experimente an Automaten.
- Published in:
- Mathematical Logic Quarterly, 1967, v. 13, n. 3-5, p. 67, doi. 10.1002/malq.19670130304
- By:
- Publication type:
- Article
4
Cauchyfolgen Höheren Typus in Angeordneten Körpern.
- Published in:
- Mathematical Logic Quarterly, 1967, v. 13, n. 3-5, p. 55, doi. 10.1002/malq.19670130303
- By:
- Publication type:
- Article