Titlebook: Logical Foundations of Computer Science; International Sympos Sergei N. Artemov,Anil Nerode Conference proceedings 2007 Springer-Verlag Ber

Palate

Melvin Fittingions relating to them. In particular account will have to be taken of the distinctions: between reporting and making value judgements; between what may be termed ‘life’ and ‘intellectual’ values; and, within life values, to the distinction between the moral and the non-moral and, up to a point, dist