Login / Signup

A Proof Method for Quantification Theory: Its Justification and Realization.

Paul C. Gilmore
Published in: IBM J. Res. Dev. (1960)
Keyphrases