scientific article; zbMATH DE number 3286022
From MaRDI portal
Publication:5569442
Cited in
(11)- Set theory as modal logic
- The concept of state and the axiom of choice
- Towards the automation of set theory and its logic
- Issues in commonsense set theory
- Cohopfian groups and accessible group classes
- Morse set theory as a foundation for constructive mathematics
- Splitting and reduction heuristics in automatic theorem proving
- Reconsidering pairs and functions as sets
- Infinite-dimensional and colored supermanifolds
- An experimental logic based on the fundamental deduction principle
- Applying, extending, and specializing pseudorecursiveness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5569442)
