Gentzen's second consistency of proof and predicative analysis
By: Roger Schoenberger
Contributors: Universität Basel
Published: 1974
Language: eng
Number of pages: 59
Notes: Thesis (doctoral)--Universität Basel, 1974.