Review of "Basic proof theory
Jeremy D. Avigad · ACM SIGACT News · 2001
article Share on Review of "Basic proof theory: second edition" by A. S. Troelstra and H. Schwichtenberg. Cambridge University Press. Reviewer: Jeremy Avigad View Profile Authors Info & Claims ACM SIGACT NewsVolume 32Issue 2June 2001 pp 15–19https://doi.org/10.1145/504192.1005766Online:01 June 2001Publication History 0citation92DownloadsMetricsTotal Citations0Total Downloads92Last 12 Months3Last 6 weeks0 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 AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access