Works matching IS 09425616 AND DT 1957 AND VI 3 AND IP 6-10
Results: 4
Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe.
- Published in:
- Mathematical Logic Quarterly, 1957, v. 3, n. 6-10, p. 81, doi. 10.1002/malq.19570030603
- By:
- Publication type:
- Article
Universal turing machines: An exercise in coding.
- Published in:
- Mathematical Logic Quarterly, 1957, v. 3, n. 6-10, p. 69, doi. 10.1002/malq.19570030602
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1957, v. 3, n. 6-10, p. fmi, doi. 10.1002/malq.19570030601
- Publication type:
- Article
Algorithmen für Ordnungszahlen und Normalfunktionen I.
- Published in:
- Mathematical Logic Quarterly, 1957, v. 3, n. 6-10, p. 108, doi. 10.1002/malq.19570030604
- By:
- Publication type:
- Article