PakCat catalogue record

Logic for computer science

By Gallier, Jean H.

Bibliographic details

Subjects

Calculus