Complete Axiomatisations of Properties of Finite Sets (Q3508165)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete Axiomatisations of Properties of Finite Sets |
scientific article |
Statements
Complete Axiomatisations of Properties of Finite Sets (English)
0 references
27 June 2008
0 references
propositional language
0 references
inclusion
0 references
extension
0 references
Hilbert-style axiomatisation
0 references
