ColDoc
Home
(current)
😑 Login
Search
EDB
— 25D
↑
←
→
↓
Vista
Strumenti
Vista
Italiano
Esercizi
[25D]
Prerequisiti:
[24D]
↺
↻
,
[26J]
↺
↻
.
Dimostrate che
\[ ∀ x,y∈ ℕ~ ,~ x⊆ y~ ∧ ~ x≠ y ⇒ Sx⊆ y\quad . \]
Soluzione
1
[279]
↺
↻
[
[25F]
↺
↻
]
Scarica PDF
Autori:
"Mennucci , Andrea C. G."
.
Bibliografia
—
Indice analitico
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in:
Italiano
Inglese