00831nam0-22003131i-450-9900009644204033210-521-20402-X000096442FED01000096442(Aleph)000096442FED0100009644220000920d1974----km-y0itay50------baengComputability and LogicGeorge Boolos, Richard JeffreyCambridgeCambridge University Press1974X, 262 p.24 cmLogicaRicorsività160Boolos,George45067Jeffrey,RichardITUNINARICAUNIMARCBK9900009644204033217-1519551FI1FI1Computability and Logic358764UNINAING01