Abstract
The book brings basic principles of logic that are important in the field of mathematical reasoning. It contains formal methods as well as popular examples and puzzles.
A reader can find advanced topics as well - axiomatic theories, Gödel theorems, and arithmetics.