Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.
John C. Cherniavsky · ACM SIGACT News · 1980
article Free Access Share on Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.: "First order dynamic logic" by David Harel. Springer-Verlag 1979. And "A programming logic" by Robert L. Constable and Michael J. O'Donnell. Winthrop Publishers 1978. Reviewer: John Cherniavsky SUNY at Stony Brook, Stony Brook, New York SUNY at Stony Brook, Stony Brook, New YorkView Profile Authors Info & Claims ACM SIGACT NewsVolume 12Issue 3Fall 1980 pp 14–16https://doi.org/10.1145/1008861.1008864Published:01 September 1980Publication History 0citation114DownloadsMetricsTotal Citations0Total Downloads114Last 12 Months3Last 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