any one can help with a book on formal computer science

or anyone can give me tutorial on formal computer science

i would love it

hope i hear soon

thank you very much for your help

my e.mail if needed [email protected]