La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera amb que aquests codifiquen els conceptes intuitius de demostració matemàtica i computació com una part dels fonaments de la matemàtica
No hay comentarios:
Publicar un comentario