You can access previews and full documents on educational platforms like Scribd :

Third, theoretical computer science has influenced logic in recent years, and some of that influence is reflected in this edition. Precis Mathematiques MP | PDF | Home & Garden - Scribd

: A Mathematical Introduction to Logic by Enderton for junior-senior level studies.

: Concise summaries of key theorems and "fiches méthodes" to tackle standard exam problems.

: Donald Knuth’s guide on Mathematical Writing for those wanting to improve how they present proofs and algorithms. A Mathematical Introduction to Logic Enderton - UNAM