A Proof of Herbrand's Theoremby J. ΕoΕ;
β
Review by: Kurt SchΓΌtte
π
Article
π
1971
π
Association for Symbolic Logic
π
English
β 368 KB