The theory is here. It is pretty simple: form any integer bigger or equal that 0 using four fours and symbols.
Is there any demonstration which explains why with four fours is possible to form integers starting from zero? Which would be the maximum (not the maximum integer possible to form with four fours, the maximum integer until all its smaller integers can be formed)?