First Order Logic Project with RISCAL Job ID: 32260338 Budget: €30 – €250 EUR I‘ll send you a .txt file with the tasks. Related categories: Computer Science / Computer Science Tutoring