Logic | Professional literature for training, studies and practice

In the Logic (Mathematics) category, you will find works that deal with the fundamentals of mathematical thinking, proof techniques, and logical structures. The titles cover topics such as set-theoretical independence phenomena, Gödel’s incompleteness theorems, formal proofs, and the limits of mathematical systems. The target audience includes first-year university students, advanced high school students, educators, and experts in mathematics, computer science, and philosophy.

Typical types of works include introductions, textbooks, concise preparatory courses, and in-depth treatises. Also included are collections of mathematical stories for gifted students, structured guides to proof-writing, and works on model theory, category theory, and the connection between logic and artificial intelligence.