Basic Proof Theory Troelstra, A. S. Schwichtenberg, H. 9780521779111 Cambridge Tracts in Theoretical Computer Science Heftet 27.07.2000 Engelsk I salg