- Tytuł:
- An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
- Autorzy:
-
Banachowski, L.
Kreczmar, A.
Mirkowska, G.
Rasiowa, Helena
Sławicki, A. - Powiązania:
- https://bibliotekanauki.pl/articles/1361934.pdf
- Data publikacji:
- 1977
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Źródło:
-
Banach Center Publications; 1977, 2, 1; 7-99
0137-6934 - Pojawia się w:
- Banach Center Publications
- Dostawca treści:
- Biblioteka Nauki
Artykuł