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