%0 Journal Article
%A Grzegorczyk, Andrzej
%T Assertions depending on time and corresponding logical calculi
%J Compositio Mathematica
%D 1968
%P 83-87
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__83_0/
%G en
%F CM_1968__20__83_0