Induction and foundation in the theory of hereditarily finite sets

Flavio Previale

Archive for Mathematical Logic · 1994 · 14 citations · 1 references

Concepts

References

1