Recent content by joonteee

  1. J

    MHB Resolution method and counterexample

    Hi! Am new to this forum, but I have looked around here for some time now, since am studying a course of logic in the context of computer science. I have a very important exam in a few days, and while I thought I got it, I got shocked when I was looking on previous graded exams to see what I...
Back
Top