@article{CM_1968__20__83_0, author = {Grzegorczyk, Andrzej}, title = {Assertions depending on time and corresponding logical calculi}, journal = {Compositio Mathematica}, pages = {83--87}, publisher = {Wolters-Noordhoff Publishing}, volume = {20}, year = {1968}, mrnumber = {230599}, zbl = {0175.26302}, language = {en}, url = {http://www.numdam.org/item/CM_1968__20__83_0/} }
Grzegorczyk, Andrzej. Assertions depending on time and corresponding logical calculi. Compositio Mathematica, Tome 20 (1968), pp. 83-87. http://www.numdam.org/item/CM_1968__20__83_0/
The pure calculus of entailment. Journal of Symbolic Logic 27 (1962) pp. 19-52. | MR | Zbl
and [1]A philosophically plausible formal interpretation of intuitionistic logic. Indagationes Mathematicae 26 (1964) pp. 596-601. | MR | Zbl
[2]Semantical analysis of intuitionistic logic I. In: Formal Systems and Recursive Functions. Studies in Logic, Amsterdam 1965. | MR | Zbl
[3]The Reach of Science. Toronto, 1958 pp. 283-284.
[4]The Logic of Scientific Discovery. London, 1959. | MR | Zbl
[5]Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1(1935) pp. 261-405. | Zbl
[6]