Ebook Computation And Proof Theory Proceedings Of The Logic Colloquium Held In Aachen July 1823 1983 Part Ii