Troelstra, A S. Schwichtenberg, H.
Basic Proof Theory - 1st & 2nd - Cambridge CUP 1996, 2000 - 343p; 417p; - Cambridge Tracts in Theoretical Computer Science, V. 43 .
0 521 57223 1
Basic Proof Theory
681.3 TRO 681.3 TRO 681.3 TRO
Basic Proof Theory - 1st & 2nd - Cambridge CUP 1996, 2000 - 343p; 417p; - Cambridge Tracts in Theoretical Computer Science, V. 43 .
0 521 57223 1
Basic Proof Theory
681.3 TRO 681.3 TRO 681.3 TRO