%0 Journal Article
%A Pudlák, Pavel
%T The observational predicate calculus and complexity of computations (Preliminary communication)
%J Commentationes Mathematicae Universitatis Carolinae
%D 1975
%P 395-398
%V 16
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1975__16_2_a15/
%G en
%F CMUC_1975__16_2_a15