Persistence and Herbrand Expansionsby Jo
β
Review by: Abraham Robinson
π
Article
π
1966
π
Association for Symbolic Logic
π
English
β 199 KB