Project

Phase transitions in logic