COMPUTABILITY AND LOGIC.
Edition: 4TH ED.
Publisher: CAMBRIDGE UNIV PRESS
Place of publication: NEW YORK
Language: und