Ibn Sīnā on analysis: 1. Proof search. Or: Abstract state machines as a tool for history of logic (2010)

by Wilfrid Hodges
Venue:in Andreas Blass, Nachum Dershowitz and Wolfgang Reisig eds., Fields of Logic and Computation; Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday, Lecture Notes in Computer Science 6300