Prolegomena to a Theory of Mechanized Formal (1980)

by R W Weyhrauch
Venue:Reasoning, Artificial Intelligence