Bell,, John Lane A course in mathematical logic / J. L. Bell, M. Machover

A course in mathematical logic / J. L. Bell, M. Machover . - Amsterdam : North-Holland, cop. 1977 . - XVIII, 599 p. 23 cm
0-7204-28440

510.6