Intensional Logics for Programming Farinas del Cerro, Luis Penttonen, Martti 9780198537755 Studies in Logic and Computation Innbundet 27.08.1992 Engelsk Produseres på bestilling