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