Computation and Proof Theory

By clibrary on Mon, 06/23/2025 - 19:40
Author

Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas

Publisher

Springer

Subject

Mathematics

Year

1984

Vol/Edition

1104

ISBN

9783540391197

URL
http://dx.doi.org/10.1007/BFb0099476