Author of the publication

Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln.

, and . Arch. Math. Log., 2 (2-4): 68-77 (1956)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Siemens Digital Computer 2002.. AIEE-ACM-IRE Computer Conference (Eastern), page 157-160. ACM, (1958)Tendenzen in der Prozessrechnertechnik.. Fachtagung Prozessrechner, volume 12 of Lecture Notes in Computer Science, page 9-12. Springer, (1974)A Very Small Electronic Digital Computer with Stored Program Control., and . IFIP Congress, page 651-656. North-Holland, (1962)Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln., and . Arch. Math. Log., 2 (2-4): 68-77 (1956)Digital Computers, Mathematical Logic and Principal Limitations of Computability.. IFIP Congress, page 29-32. North-Holland, (1962)