Amanote Research
Register
Sign In
Higher-Order Logic
doi 10.7551/mitpress/6945.003.0005
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1998
Authors
Unknown
Publisher
The MIT Press