PakCat catalogue record

Mathematical logic and computability

By H. Jerome Keisler

Bibliographic details

Additional authors

Mathematical Logic

Subjects

Logic, Symbolic and mathematical