Books — logic

EN
The Haskell Road to Logic, Math and Programming

The Haskell Road to Logic, Math and Programming

A

Kees Doets, Jan van Eijck

Programming languages
RU
Haggarty R. - Discrete Mathematics for Programmers, 2nd Edition (Programming World) - 2012

Haggarty R. - Discrete Mathematics for Programmers, 2nd Edition (Programming World) - 2012

B

Р. Хаггарти

Algorithms and theory
RU
Haggarty Discrete Mathematics for Programmers

Haggarty Discrete Mathematics for Programmers

A
Algorithms and theory
RU
Lectures on Discrete Mathematics

Lectures on Discrete Mathematics

A

М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов

Algorithms and theory
RU
The Art of Thinking Rationally. Shortcuts in Math and in Life

The Art of Thinking Rationally. Shortcuts in Math and in Life

A

Маркус дю Сотой

Algorithms and theory
RU
The Art of Proof in Mathematics. A Lecture Course with Exercises

The Art of Proof in Mathematics. A Lecture Course with Exercises

A

Дэниэл Веллеман

Algorithms and theory
EN
Logic Made Easy: How to Know When Language Deceives You

Logic Made Easy: How to Know When Language Deceives You

A

Deborah J. Bennett

Algorithms and theory
EN
Mathematics in Programming

Mathematics in Programming

A

Xinyu Liu

Algorithms and theory