* Introductory Logic and Sets for Computer Scientists.
* Formal Specification: Techniques and Applications.
both by Nimal Nissanke.
The writing is Precise, Succinct, Clear with lots of examples. A wide variety of topics are explained without overwhelming the reader and all within a decent-sized book.
* Introductory Logic and Sets for Computer Scientists.
* Formal Specification: Techniques and Applications.
both by Nimal Nissanke.
The writing is Precise, Succinct, Clear with lots of examples. A wide variety of topics are explained without overwhelming the reader and all within a decent-sized book.