Mathematical logic through Python /

"Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of prog...

Full description

Bibliographic Details

Main Authors:	Gonczarowski, Yannai A., 1981- (Author), Nisan, Noam (Author)
Format:	Book
Language:	English
Published:	Cambridge, United Kingdom ; New York, NY : Cambridge University Press, [2022]
Subjects:	Logic, Symbolic and mathematical. Python (Computer program language) Logique symbolique et mathématique. Python (Langage de programmation) COMPUTERS / Languages / General.