Deductive and Declarative Programming Padawitz, Peter 9780521032513 Cambridge Tracts in Theoretical Computer Science Heftet 23.11.2006 Engelsk Produseres på bestilling