A course in mathematical logic
Explore A course in mathematical logic by Manin, I͡U. I.: 2 Hacker News mentions from 2 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XA course in mathematical logic
2 mentions · 2 participants · 1 recommenders
Book editionFrom the conversation
Latest 2 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
This record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News…ger - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat... ) Strongly recommend Manin to the mathematically literate interested in a sophisticated and worldly introduction to logic. Manin gives very understandable details of the Smullyan proof this guy is taking bits and pieces of. -- And Antoly's "semantic/syntax" distinction is overdone.
Read on Hacker News