Publié le : 1977-01-01
EUDML-ID :
urn:eudml:doc:208573
@article{bwmeta1.element.bwnjournal-article-bcpv2i1p7bwm,
author = {L. Banachowski and A. Kreczmar and G. Mirkowska and H. Rasiowa and A. S\l awicki},
title = {An introduction to algorithmic logic. Metamathematical investigations in the theory of programs},
journal = {Banach Center Publications},
volume = {2},
year = {1977},
pages = {7-99},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv2i1p7bwm}
}
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Sławicki, A. An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Banach Center Publications, Tome 2 (1977) pp. 7-99. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv2i1p7bwm/