A Mechanical Proof Procedure and its Realization in an Electronic Computer
Dag Prawitz, Haå kan Prawitz, Neri Voghera · Journal of the ACM · 1960
article Free Access Share on A Mechanical Proof Procedure and its Realization in an Electronic Computer Authors: Dag Prawitz Stockholm, Sweden Stockholm, SwedenView Profile , Haå kan Prawitz View Profile , Neri Voghera Swedish Board for Computing Machinery, Stockholm, Sweden Swedish Board for Computing Machinery, Stockholm, SwedenView Profile Authors Info & Claims Journal of the ACMVolume 7Issue 2April 1960 pp 102–128https://doi.org/10.1145/321021.321023Published:01 April 1960Publication History 49citation465DownloadsMetricsTotal Citations49Total Downloads465Last 12 Months19Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF