Qualcuno è pratico dei sistemi deduttivi?
In particolare conoscete il Sistema Deduttivo di Hilbert?
Avrei bisogno di quache chiarimento su quest'ultimo...
Bemipefe
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Visitano il forum: Nessuno e 1 ospite