ISBN-13: 9781108949477 / Angielski / Miękka / 2022 / 250 str.
ISBN-13: 9781108949477 / Angielski / Miękka / 2022 / 250 str.
A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.