What's the best textbook on mathematical logic? Something

>>8453765
That's my fucking cat bro. Don't make her a meme please

>>8453779
your kitty has already been meme'd.

>>8453779
Your cat is too beautiful to not let become a meme

File: IMG_0467 (1).jpg (1MB, 2656x1494px) Image search: [Google]

1MB, 2656x1494px

>>8453785
funny part is shes doing the same shit right now

>>8453765

Suppes Introduction to Logic is pretty decent. How to prove it is ok also. What exactly are you trying to get out of it?

>>8453806
Not an introduction to proofs, which I already have done. I would like to get more balls deep into the logic

>>8453813
SICP, anything on lambda calculus

>>8453803
Cute cat

Introduction to Mathematical Logic by Michał Walicki.

>>8453765
http://www.logicmatters.net/resources/pdfs/Appendix.pdf

>>8453803
hey how do I check the sex of a castrated cat without looking at his pepe?
do female cats have always tits on their belly?