Witam, jestem studentem drugiego roku matematyki. Po zapoznaniu się (w miarę) z wstępem do logiki i teorii mnogości zainteresował mnie ten dział matematyki. Czy jest jakaś dobra książka już do samej logiki, która może zahacza o logiki nieklasyczne (szczególnie interesowałaby mnie logika intuicjonistów).
Trochę zależy mi też na tym, by ta książka obejmowała jak najwięcej działów, niekoniecznie tłumacząc dogłębnie każde twierdzenie.