On the Representation of Herbrand Functi
β
Review by: Erwin Engeler
π
Article
π
1970
π
Association for Symbolic Logic
π
English
β 356 KB