ColDoc
Home
(current)
😑 Login
Search
EDB
— 011
↑
←
→
↓
Vista
Strumenti
Vista
Italiano
Esercizi
[011]
Si verifichi che
(
(
∀
x
,
𝜑
(
x
)
)
∧
(
∀
y
,
𝜓
(
y
)
)
)
⟺
(
∀
x
(
𝜑
(
x
)
∧
𝜓
(
x
)
)
)
[
[012]
↺
↻
]
Scarica PDF
Autori:
"Mennucci , Andrea C. G."
.
Bibliografia
—
Indice analitico
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in:
Italiano
Inglese