Book presents insights on computation as proof search in logical systems, suggesting new pathways in programming.
Cambridge University Press has recently published my book, "Proof Theory and Logic Programming: Computation as Proof Search" (December 2025). A preprint of the full text is available for download [1].
No takes yet. Share an insight, caveat, or question.
Dale Miller (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: