{"product":{"product_id":"0387942580","title":"Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)","price":"70.36","image_url":"https://m.media-amazon.com/images/I/41LmInMdOqL._SL500_.jpg","url":"https://www.amazon.com/dp/0387942580"},"comments":[{"body":"Are you looking for something like [Mathematical Logic](http://www.amazon.com/dp/0387942580/ref=rdr_ext_tmb) by Ebbinghaus, Flum, and Thomas?  It's not as broad and comprehensive as the book by Curry, and of course Curry is one of the great names in the field.  But it is one of the standard modern textbooks.","subreddit_name":"math","author":"ablakok"},{"body":"That’s not a great book for learning logic. I’m honestly not sure where to tell you to start with sequent calculus. I know that [Ebbinghaus, Flum, and Thomas](https://www.amazon.com/Mathematical-Logic-Undergraduate-Texts-Mathematics/dp/0387942580) cover sequent calculus from a very rigorous mathematical perspective. You can also find some good material in the [Open Logic Project](https://openlogicproject.org/download/) textbook. One other option that is maybe a little too daunting for a complete beginner is [Troelstra and Schwichtenberg](https://www.cambridge.org/core/books/basic-proof-theory/928508F797214A017D245A1FB67CCCD9) ‘basic proof theory’.","subreddit_name":"logic","author":"boterkoeken"}]}