Hakutulokset: Hakutulos
yhteensä 6 hakutulosta
Saved from the Cellar
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another …
New Mathematical Cuneiform Texts
This monograph presents in great detail a large number of both unpublished and previously published Babylonian mathematical texts in the cuneiform script. It is a continuation of …
A Critical Edition of Ibn al-Haytham’s On the Shape of the Eclipse
This book provides the first critical edition of Ibn al-Haytham’s On the Shape of the Eclipse with English translation and commentary, which records the first scientific analysis …
Magic Squares in the Tenth Century
This volume contains the texts and translations of two Arabic treatises on magic squares, which are undoubtedly the most important testimonies on the early history of that science. …
Mathematical Tablets from Tell Harmal
This work offers a re-edition of twelve mathematical tablets from the site of Tell Harmal, in the borders of present-day Baghdad. In ancient times, Tell Harmal was Šaduppûm, a city …
Jaghmini’s Mulakhkha?
This book provides the only critical edition and English translation of Ma?mud al-Jaghmini’s al-Mulakhkha? fi al-hay?a al-basi?a, the most widely circulated Arabic treatise on …