This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand ... The volumes are written in a user-friendly conversational lecture style that makes them ...
From set theory, the course covers (i ... of mathematical provability and ends with exploring extensions of classical logic. 20 hours of lectures and 15 hours of seminars in the MT. 20 hours of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback