An outline of mathematical logic (1974)

by A Grzegorczyk