INVARIANT UNIVERSALITY FOR PROJECTIVE PLANES.
- Published in:
- Reports on Mathematical Logic, 2023, n. 58, p. 15, doi. 10.4467/20842589RM.23.002.18801
- By:
- Publication type:
- Article
Works matching IS 01372904 AND DT 2023
Results: 2
1
2
TABLEAUX APPROACH FOR CONTACT LOGICS INTERPRETED OVER INTERVALS.
- Published in:
- Reports on Mathematical Logic, 2023, n. 58, p. 3, doi. 10.4467/20842589RM.23.001.18800
- By:
- Publication type:
- Article