Prolegomena to a Theory of Formal Reasoning (1980)

by R Weyhrauch
Venue:Artificial Intelligence