Proof Theory and Intuitionistic Systems

Author

Bruno Scarpellini

Publisher

Springer

Subject

Mathematics

Year

1971

Vol/Edition

212

ISBN

9783540368755