Rogers, Robert,

Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers. - Amsterdam : North-Holland Pub., 1971. - xi, 235 p. ;

0720420512 (north-holland)


Logic, Symbolic and mathematical.

511.3 / Ma