- Tytuł:
- Reverse mathematics of some topics from algorithmic graph theory
- Autorzy:
-
Clote, Peter
Hirst, Jeffry - Powiązania:
- https://bibliotekanauki.pl/articles/1205347.pdf
- Data publikacji:
- 1998
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Tematy:
-
recursion theory
reverse mathematics
proof theory
graph theory - Źródło:
-
Fundamenta Mathematicae; 1998, 157, 1; 1-13
0016-2736 - Język:
- angielski
- Prawa:
- Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
- Dostawca treści:
- Biblioteka Nauki
- Artykuł