- Tytuł:
- Truth definition for Δ₀ formulas and PSPACE computations
- Autorzy:
- Zdanowski, Konrad. Autor
- Współwytwórcy:
- Wydział Matematyczno-Przyrodniczy Szkoła Nauk Ścisłych (Uniwersytet Kardynała Stefana Wyszyńskiego ; Warszawa)
- Tematy:
-
Matematyka konstruktywna
PSPACE (złożoność obliczeniowa)
Prawda
Arytmetyka drugiego rzędu
Arytmetyka Peano - Pokaż więcej
- Data publikacji:
- 2021
- Dostawca treści:
- Academica
Artykuł