This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Related Subjects
Computer Science Computers Computers & Technology Math Mathematics Science & Math Textbooks