- Tytuł:
- Herbrand-satisfiability of a Quantified Set-theoretic Fragment
- Autorzy:
-
Cantone, D.
Longo, C.
Nicolosi-Asmundo, M. - Data publikacji:
- 2017
- Słowa kluczowe:
-
set theory
Herbrand satisfiability - Pokaż więcej
- Dostawca treści:
- BazTech