Revision history for entry Boyer, Robert (manuscript). "The addition of bounded quantification and partial functions to a computational logic and its theorem prover" [BOYTAO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes