Outline of mathematical logic door Grzegorczijk