Functional representation of preiterative/combinatory formalism Isidore Fleischer (2004) Mathematica Slovaca