Noan <br/><br/>
Mathematical logic through python 

 - latest edition 
 -  cambridge  2025