Publications

Export 2 results:
Filters: Author is Stanley S. Wainer  [Clear All Filters]
2005
Ostrin, G.E., Wainer, S.S.: Elementary Arithmetic. Annals of Pure and Applied Logic. 133, 275-292 (2005).
2002
Ostrin, G.E., Wainer, S.S.: Proof theoretic complexity. In: Schwichtenberg, H. and Steinbrüggen, R. Proof and System Reliability. pp. 369-398. Springer (2002).