Displaying similar documents to “The observational predicate calculus and complexity of computations (Preliminary communication)”