Book:Dirk van Dalen/Logic and Structure/Third Edition

This book is part of the Universitext series.

Subject Matter

 * Mathematical Logic
 * Intuitionistic Logic