1. Home
  2. Logical Frameworks

Tag

Logical Frameworks

3 sites carry this tag.

Abel, Niels Abel, Niels- Biography of the mathematician. From Interactive Real Analysis. Niels Henrik Abel - MacTutor History of Mathematics Archive Niels Henrik Abel - MacTutor History of Mathematics Archive- Biogragphy of the mathematician who proved the impossibility of solving algebraically the general equation of the fift… Abel, Niels Henrik Abel, Niels Henrik- Biography of the mathematician. From Eric Weisstein's World of Scientific Biography.