PakCat catalogue record

COMPUTABILITY AND LOGIC

ND

By BOOLOS GEORGE S.

Bibliographic details

Additional authors

RICHARD C. JEFFREY

Subjects

MATHEMATICS