@article{1183739722,
author = {Apt, Krzysztof Rafal},
title = {Semantics of the Infinitistic Rules of Proof},
journal = {J. Symbolic Logic},
volume = {41},
number = {1},
year = {1976},
pages = { 121-138},
language = {en},
url = {http://dml.mathdoc.fr/item/1183739722}
}
Apt, Krzysztof Rafal. Semantics of the Infinitistic Rules of Proof. J. Symbolic Logic, Tome 41 (1976) no. 1, pp. 121-138. http://gdmltest.u-ga.fr/item/1183739722/