Is this a difficult book to start with?

>>9012566
bump

>>9012566
I dont even know what the "meta" means kek

>>9012634
You prove that proofs exist and prove that proofs work.

>>9012656
So.. it's a logic text.

>>9013037
Yes, Kleene's follow up/complementary book was called "Mathematical Logic"

>>9013037
yeah from what i understand its a pretty classic logic text.

>>9012566
you really need to be more specific about what you mean by "start"

>>9013065
Is it a good book to continue with after I finish Vellemans "how to prove it"

>>9013109
>>9012566
It's the GOAT but start with Tarski

what in tarnation is a tarski?

File: 41KE0LJ3zVL._SX322_BO1,204,203,200_.jpg (30KB, 324x499px) Image search: [Google]

30KB, 324x499px

>>9013440
this book?

>>9013485
https://www.amazon.com/Introduction-Logic-Methodology-Deductive-Mathematics/dp/048628462X

>>9013899
so how much overlap does this have with set theory?