Bøger af Daniele Mundici

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