- Tytuł:
- Reverse mathematics of some topics from algorithmic graph theory
- Autorzy:
-
Clote, Peter
Hirst, Jeffry - Data publikacji:
- 1998
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Tematy:
-
recursion theory
reverse mathematics
proof theory
graph theory - Dostawca treści:
- Biblioteka Nauki
Artykuł