An Extended Procedure in Quantificationa
โ
Review by: Wilhelm Ackermann
๐
Article
๐
1956
๐
Association for Symbolic Logic
๐
English
โ 183 KB