Bell,J.L.

A Course In Mathematical Logic - North-Holland 1977 - 599 P.

511.3 BEL