Elimination of bound variables in logic
β
Roman DoraczyΕski
π
Article
π
1973
π
Springer Netherlands
π
English
β 547 KB