An Extended Procedure in Quantificationa
β
Robert Stanley
π
Article
π
1953
π
Association for Symbolic Logic
π
English
β 956 KB