Logics. In -depth course. Textbook: Alexandra Getmanova

The in -depth content of both traditional formal logic and mathematical (symbolic) logic in its two directions is given: classical logic and numerous areas of non -classical logic (constructive, intuitionist, multi -digit, positive, modal and pair of consistent). The manual for the first time in the logical literature provides a comparative characteristic of 15 types of logical systems in three directions: the relationship of logical systems within one direction of logic: the relationship of logical systems related to various areas of logic: the relationship or comparison of various directions of logic in their “strength”. For students of all specialties of universities and colleges studying logic, as well as for graduate students and teachers of these institutions.
2nd edition, stereotypical.

Author
Getmanova Alexandra Denisovna
Publisher
Knorus, 2015