computational logic and set theory

jacob t. schwartz,domenico cantone,eugenio g. omodeo,martin (frw) davis · springer-verlag new york inc