Ingen varer
Kassen / rediger kurv
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.