A Decision Method for Elementary Algebra
β
Review by: Leon Henkin
π
Article
π
1952
π
Association for Symbolic Logic
π
English
β 213 KB