Prolegomena to a theory of formal reasoning (1980)

by R W Weyhrauch
Venue:Artificial Intelligence