You are about to access our book library "Ifcolog Journal of Logics and their Applications Volume 3, number 4: Proof, Truth, Computation full version" .