Relative Consistency of a Finite Nonclassical Theory Incorporating ZF and Category Theory with ZF
Fields of Study & Subjects
semigroups and automata theory
Publication details
- Journal / source
- Studia Logica
- Publisher
- Springer Science and Business Media LLC
- Publication date
- 4 May 2026
- Language
- EN